Краткий обзор языка PROLOG

Программы на языке ПРОЛОГ состоят из двух типов фраз: фактов и правил, также называемых предложениями. Факты – это отношения или свойства, о которых известно, что они имеют значение истина. Правила – это связанные отношения, они позволяют ПРОЛОГу логически выводить одну информацию из другой.

Пример задачи о покупке компьютера, реализованной на ПРОЛОГе.

facts

играет(symbol)

любит_компьютерные_игры(symbol)

имеет _ компьютер _ графускоритель (symbol)

predicates

купит (symbol,symbol) - nondeterm(i,i)

clauses

купит(Клиент,Компьютер):-

любит_компьютерные_игры(Клиент),

имеет_компьютер_графускоритель(Компьютер).

любит_компьютерные_игры(клиент1).

имеет_компьютер_графускоритель(компьютер1).

goal

купит(клиент1,компьютер1).

Результат: yes