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

satellite(X,"Марс"),

write(X," спутник Марса."),

nl.

clauses

star("Солнце").

planet("Земля").

planet("Марс").

revolve("Земля","Солнце").

revolve("Марс","Солнце").

revolve("Луна","Земля").

revolve("Фобос","Марс").

revolve("Деймос","Марс").

satellite(X,Y):-planet(Y),revolve(X,Y).

Результат: Фобос спутник Марса.

2. Написать и реализовать программу установления родственных связей: Василий имеет дочь Ольгу, у которой два сына Михаил и Максим. Использовать внешние и внутренние цели.

domains

name=symbol

predicates

men(name)

mama(name)

sons(name,name)

doughter(name,name)

deda(name,name)

brother(name,name).

goal

doughter(Z,Y),

write(Z,Y),

nl.

clauses