![]() |
![]() |
Программы на языке ПРОЛОГ состоят из двух типов фраз: фактов и правил, также называемых предложениями. Факты – это отношения или свойства, о которых известно, что они имеют значение истина. Правила – это связанные отношения, они позволяют ПРОЛОГу логически выводить одну информацию из другой.
Пример задачи о покупке компьютера, реализованной на ПРОЛОГе.
facts
играет(symbol)
любит_компьютерные_игры(symbol)
имеет _ компьютер _ графускоритель (symbol)
predicates
купит (symbol,symbol) - nondeterm(i,i)
clauses
купит(Клиент,Компьютер):-
любит_компьютерные_игры(Клиент),
имеет_компьютер_графускоритель(Компьютер).
любит_компьютерные_игры(клиент1).
имеет_компьютер_графускоритель(компьютер1).
goal
купит(клиент1,компьютер1).
Результат: yes
![]() |
![]() |