Проанализированы отличие и основные свойства баз данных и баз знаний, как основных площадок для применения средств логического программирования. Приведено описание семейства дискрипционных логик, даны основные определения. Описана проблема баланса выразительной силы языка и вычислительной эффективности, приведены инструменты управления этими параметрами и описаны их сильные и слабые стороны. Предложены перечень и описание нестандартных алгоритмических проблем в системам логического программирования для их использования в качестве содержательной основы при формализации вопроса в рамках одной из логических систем.