Приклад експертної системи

Program

person(jordan). person(chris). person(alex). person(blake). person(casey). person(sam). person(taylor). closer(alex). closer(casey). see(alex, blake). see(blake, casey). motive(alex). motive(casey). alibi(casey). alibi(blake). % ПРАВИЛА suspect(X) :- person(X), motive(X), closer(X). witness(X) :- person(X), see(X, _). guilty(X) :- suspect(X), \+ alibi(X).

Query

Results