Реферат: Логические задачи на языке программирования Prolog

man(name)

offspring(name,name)

father(name,name)

mother(name,name)

parent_parents(name,name)

brother(name,name)

grandfather(name,name)

grandmother(name,name)

emperor(name,year_in,year_out)

emperor_was(name,integer)

clauses

parents("Петр III","Павел I").

parents("Екатерина II","Павел I").

parents("Павел I","Александр I").

parents("Павел I","Николай I").

parents("Николай I","Александр II").

parents("Александр II","Александр III").

parents("Александр III","Николай II").

woman("Екатерина II").

man("Петр III").

man("Павел I").

man("Алексндр I").

man("Николай I").

man("Александр II").

man("Александр III").

man("Николай II").

offspring(Y,X):-parents(X,Y).

father(X,Y):-parents(X,Y),man(X).

mother(X,Y):-parents(X,Y),woman(X).