інтерпретувати логічний синтаксис.

зрозуміти логічний синтаксис;

зрозуміти лінгвістичний синтаксис;

відрізнити логічний синтаксис від лінгвістичного;

/*  */

!  !

$  $

%  %

правилами;

фактами;

константами;

змінними.

not;

read.

fail;

true;

not;

\=;

write.

true;

not;

write.

=;

true;

використання рекурсивних алгоритмів;

оперування динамічними структурами даних;

механізм висновку з пошуком і поверненням;

можливість роботи зі списками.

диструктивними термами;

логічними термами;

логарифмічними термами.

дискриптивними термами;

простота та структурованість;

однозначність та зрозумілість;

аморфність, невизначеність правил побудови мовних виразів і правил надання значень мовним виразам;

чіткі правила побудови мовних виразів.

диструктивними термами;

логічними термами;

логарифмічними термами.

дискриптивними термами;