Prolog - jak zapisać twierdzenia w postaci klauzul

Question

Cześć. Mam zadanie do wykonania w języku Prolog. Otóż muszę zapisać poniższe twierdzenia w postaci klauzul, ale są pewne warunki: * mogę użyć tylko atomów: my_mouse i me * nie mogę używać funktorów. 1. Konie lubią rośliny. 2. Myszy lubią ser. 3. Przyjaciele lubią się wzajemnie. 4. Moja mysz jest moim przyjacielem. 5. Moja mysz jada wszystko to, co lubi. Na koniec mam odpowiedziec na pytanie, co jada moja mysz. Jesli chodzi o brak atomow - mozna to obejsc uzycie zmiennych. Ale jak nie uzyc funktorow? Np lubi(X,Y) :- kon(X), roslina(Y). Czy zle rozumiem pojecie funktor? Prosze o pomoc, Dziekuję.

Answer 1

lubia(konie,myszy).
lubia(myszy,konie).
lubia_rosliny(konie).
myszy_lubia(ser).
przyjaciel(ja,mysz).
przyjaciel(mysz,ja).