Язык представления знаний логический — язык представления знаний в основе которого лежит исчисление предикатов первого порядка. Выражениями Я.П.З.Л. являются синтаксически правильные формулы этого исчисления. В виде таких формул записывается все хранимые в системе декларативные и процедурные знания. Достоинством Я.П.З.Л. является их полная формализуемость и наличие для них формальных процедур, позволяющих выполнять вывод и анализ таких характеристик записей, как непротиворечивость, эквивалентность и т. п. Недостатком Я.П.З.Л. является плохая наглядность для пользователя информационных единиц, записанных в виде формул логического исчисления.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]