Prolog и 4 игрока в домино

[Ikimura]

Доброго времени суток всем.
В общем есть такая лаба.
Четыре человека играют в домино. Их фамилии Кузнецов, Токарев, Слесарев и Резчиков. Профессия каждого игрока соответствует фамилии одного из других игроков.
1. Напротив Кузнецова сидит слесарь.
2. Напротив Резчикова сидит резчик.
3. Справа от Слесарева сидит токарь.
4. Кто сидит слева от кузнеца?
В Прологе полный 0, никогда раньше не сталкивался, выручайте.
Visual Prolog 5.2
Кое-что набросал, а как дальше быть...?

predicates

  lastName(symbol)
  profession(symbol)
  opposite(symbol, symbol)
  seatByRight(symbol, symbol)
  seatByLeft(symbol, symbol)

clauses

  lastName(X):- X=kuznecov; X=tokarev; X=slesarev; X=rezchikov.
  profession(Y):- Y=kuznec; Y=tokar; Y=slesar; Y=rezchik.
  opposite(kuznecov,slesar).
  opposite(rezchikov,rezchik).
  seatByRight(slesarev,tokar).
  
goal

[Ikimura]

Ну хоть что-нибудь, ребят! мысль хотя бы подкиньте.

[rrrFer]

Ну какую мысль.
У тебя есть 4 профессии, есть 4 игрока. Всех их описываешь в БД:
prof(rezc, "Rezc").
и т.д.
твое правило должно набрать список из 4 таких пар

solve:-
prof(Prof1, Name1), prof(Prof2, Name2), ...

Засовываешь это все в списки:

Profs = [Prof1, Prof2, Prof3, Prof4]
Names = ...

И над списками выполняешь нужные проверки.

Если тчо-то не подходит - то проверка завершается неудачей и машина логического вывода сама ищет другое решение (формируя другие варианты списков).

эта задача точно так и решается.
Если что-то не понятно - посмотри тут: http://pro-prof.com/archives/1299
Тут описано как решать более подробно и есть примеры (см. раздел "Задачи на установление соответствия").

[Ikimura]

Проблема в том, что я в синтаксисе полный 0, это первое задание и никаких вводных по синтаксису не было. Я даже готовое решение не могу исправить, которое нашел.

DOMAINS
man=m(string,string)
men=man*
slist=string*

predicates

naprotiv(string,string,slist)
sprava(string,string,slist)
sleva(string,string,slist)
find(string)
member(man,men)

clauses

member(H,[H|_]).
member(H,[_|Tail]):-member(H,Tail).
 
naprotiv(A,B,[_,A,_,B]).
naprotiv(B,A,[A,_,B,_]).
naprotiv(B,A,[_,A,_,B]).
 
sprava(A,B,[A,B,_,_]).
sprava(A,B,[_,_,A,B]).
 
sleva(A,B,L):-sprava(B,A,L).
 
find(Ans):-L=[m(A,_),m(B,_),m(C,_),m(D,_)],Surnames=[A,B,C,D],
    member(m("kuznecov",_),L),member(m("tokarev",_),L),
    member(m("slesarev",_),L),member(m("rezchikov",_),L),
    member(m(S1,"kuznec"),L),not(S1="kuznecov"),
    member(m(S2,"tokar"),L),not(S2="tokarev"),
    member(m(S3,"slesar"),L),not(S3="slesarev"),
    member(m(S4,"rezchik"),L),
    naprotiv("kuznecov",S3,Surnames),
    sprava("slesarev",S2,Surnames),
        naprotiv("rezchikov",S4,Surnames),
    sleva(Ans,S1,Surnames).
goal
find(Ans).

visual prolog 5.2
W;domino.pro, pos: 1223, 420 Unused variable: Ans
W;domino.pro, pos: 725, 709 Two free variables in expression
E;domino.pro, pos: 725, 718 The domain refers to global non-reference domains