Cześć i czołem.
Zaczynam zajęcia w prologu i za zadanie mam określić kilkanaście powiązań, wykorzystując do tego tylko 3 predykaty, mianowicie: rodzic, płeć, współmałżonek.
Jeśli ktoś z Państwa miałby czas na zweryfikowanie moich reguł - będę wdzięczna.
https://pastebin.com/W7Hze0yy
Jako AND kazano używać mi ^, OR v. Mam pytanie odnośnie współmałżonków. Jeśli X i Y są małżeństwem, to należy zdefiniować to raz - w ten sposób: współmałżonek(X,Y) czy też: współmałżonek(X,Y):-współmałżonek(Y,X) ? Skłaniam się ku 2 wersji - bo jest to predykat symetryczny?
Pozdrawiam.