Name(symbol)

Таблиця велосипедних змагань

Not(member(kid(_,SurnameDjim,pirat),Solve)),

Not(member(kid(_,SurnameDjim,vedma),Solve)),

%у Djimmi призвіще не Smith, і Smith – не відьма

not(member(kid("Djimmi","Smit",_),Solve)),

not(member(kid(_,"Smit",vedma),Solve)),

%у Billi призвіще не Smith і він не пірат

not(member(kid("Billi","Smit",_),Solve)),

not(member(kid("Billi",_,pirat),Solve)),

% Sem не кістяк

not(member(kid("Sem",_,skelet),Solve)),

%один з Diksonov є робінгуд

member(kid(_,"Dikson",robingud),Solve).

%друк рішення
writeSolve([]).
writeSolve([kid(Name,Surname,Suit)|Tail]):-

write(Name," ",Surname," - ",Suit),nl,writeSolve(Tail).

go:-find(Solve), writeSolve(Solve),nl,nl,nl,fail. %відшукує

%рішення, друкує його. fail для

%відкату задля пошуку всіх рішень

GOAL
go.

Постановка задачі. У велосипедних перегонах три перші місця зайняли Алеша, Петя й Коля. Яке місце зайняв кожен з них, якщо Петя зайняв не друге й не третє місце, а Коля – не третє?

Розв'язок задачі полягає у встановленні залежності між спортсменами й місцями, яку можна описати табл. 1 (прочерки указують відому інформацію):

Таблиця 1

Вочевидь, Петя може посісти лише перше місце, тоді Коля - тільки друге, а Алеше дістається третє (табл. 2).

Таблиця 2

При описі цієї задачі на Прологу виходить наступна програма.

PREDICATES

Дата добавления: 2014-01-04