zadania z prologu

mam takie zadanie, prosze sprawdzic czy poprawne napisalem ?
(A)
Zapisz następującą sytuacje w języku rachunku predykat´ow.
Każdy kot ma wąsy.
Pewien kot ma wąsy
Jeśli ktoś jest lubiany przez wszystkich to każdy kogoś lubi.

odpowiedzi:

wasy(kazdykot).
wasy(pewienkot).
kazdylubiany(X,Y):-lubi(Y,X).
kazdylubiany(X,Y):-lubi(X,Y).

(B)
Jan posiada złoto,
Jan daje Marii gazetę.
Złoto jest cenne
Jan jest ojcem Marii,
Anna jest kobietą,

odpowiedzi:

posiada(jan,zloto).
dajegazete(jan,maria).
cenne(zloto).
ojciec(jan,maria).
kobieta(anna).

Ja bym zapisał koty przy pomocy struktury:

wąsy(kot(_)).
wąsy(kot(pewien)).

hauleth napisał(a):

Ja bym zapisał koty przy pomocy struktury:

wąsy(kot(_)).
wąsy(kot(pewien)).

a czy poprawne jest to?
Jeśli ktoś jest lubiany przez wszystkich to każdy kogoś lubi.

kazdylubiany(X,Y):-lubi(Y,X).
kazdylubiany(X,Y):-lubi(X,Y).

Każdy kot ma wąsy.

To chyba powinno wygladac bardziej jako "ma_wasy(ktos) :- jest_kotem(ktos)." Albo tak jak wyzej

A to z lubieniem IMHO jest zle
Edit: Rachunek predykatow: istnieje taki x ze dla kazdej osoby zachodzi lubi(osoba, x) zatem dla kazdego o€Osoby istnieje takie x' ze lubi(o, x') (w szczegolnosci x' = x) (a x jest narcyzem)