Differences

This shows you the differences between two versions of the page.

--- codeq:prolog:naloge:sister_2 [2015/07/06 19:32]
timmy
+++ codeq:prolog:naloge:sister_2 [2015/07/07 15:58] (current)
timotej
@@ Line 12: / Line 12: @@
 Povezave so podane s predikatom ''parent/2''. Predikata ''male/1'' in ''female/1'' določata spol vsake osebe (vozlišča).
-<code>
+  parent(tina,william).                      male(william).
-parent(tina,william).
+  parent(thomas,william).                    male(thomas).
-parent(thomas,william).
+  parent(thomas,sally).                      male(jeffrey).
-parent(thomas,sally).
+  parent(thomas,jeffrey).                    male(andrew).
-parent(thomas,jeffrey).
+  parent(sally,andrew).                      male(steve).
-parent(sally,andrew).
+  parent(sally,melanie).                     male(patrick).
-parent(sally,melanie).
+  parent(andrew,joanne).                     male(john).
-parent(andrew,joanne).
+  parent(jill,joanne).                       male(michael).
-parent(jill,joanne).
+  parent(joanne,steve).                      male(frank).
-parent(joanne,steve).
+  parent(william,vanessa).                   male(george).
-parent(william,vanessa).
+  parent(william,patricia).                  male(morty).
-parent(william,patricia).
+  parent(vanessa,susan).                     male(jerry).
-parent(vanessa,susan).
+  parent(patrick,susan).                     male(kramer).
-parent(patrick,susan).
+  parent(patricia,john).                     male(aleksandr).
-parent(patricia,john).
+  parent(john,michael).                      male(alessandro).
-parent(john,michael).
+  parent(john,michelle).                     male(aleksander).
-parent(john,michelle).
+  parent(frank,george).                      female(tina).
+  parent(estelle,george).                    female(sally).
+  parent(morty,jerry).                       female(melanie).
+  parent(helen,jerry).                       female(joanne).
+  parent(jerry,anna).                        female(jill).
+  parent(elaine,anna).                       female(vanessa).
+  parent(elaine,kramer).                     female(patricia).
+  parent(george,kramer).                     female(susan).
+                                             female(michelle).
+  parent(margaret,nevia).                    female(estelle).
+  parent(margaret,alessandro).               female(helen).
+  parent(ana,aleksander).                    female(elaine).
+  parent(aleksandr,aleksander).              female(anna).
+  parent(nevia,luana).                       female(margaret).
+  parent(aleksander,luana).                  female(ana).
+  parent(nevia,daniela).                     female(nevia).
+  parent(aleksander,daniela).                female(luana).
+                                             female(daniela).
-parent(frank,george).
+====== Rešitev ======
-parent(estelle,george).
-parent(morty,jerry).
-parent(helen,jerry).
-parent(jerry,anna).
-parent(elaine,anna).
-parent(elaine,kramer).
-parent(george,kramer).
-parent(margaret,nevia).
+  sister(X, Y) :-
-parent(margaret,alessandro).
+      parent(Z, X),
-parent(ana,aleksander).
+      parent(Z, Y),
-parent(aleksandr,aleksander).
+      female(X),
-parent(nevia,luana).
+      X \== Y.
-parent(aleksander,luana).
-parent(nevia,daniela).
-parent(aleksander,daniela).
-male(william).
-male(thomas).
-male(jeffrey).
-male(andrew).
-male(steve).
-male(patrick).
-male(john).
-male(michael).
-male(frank).
-male(george).
-male(morty).
-male(jerry).
-male(kramer).
-male(aleksandr).
-male(alessandro).
-male(aleksander).
-female(tina).
-female(sally).
-female(melanie).
-female(joanne).
-female(jill).
-female(vanessa).
-female(patricia).
-female(susan).
-female(michelle).
-female(estelle).
-female(helen).
-female(elaine).
-female(anna).
-female(margaret).
-female(ana).
-female(nevia).
-female(luana).
-female(daniela).
-</code>
 ====== Namigi ======
-^ Testni primeri                ^ Namig                                                     ^
+^ # ^ Namig                                                     ^
-| nex(sister(vanessa, andrew))  | ''X'' in ''Y'' morata imeti (vsaj enega) skupnega starša. |
+| 1 | ''X'' in ''Y'' morata imeti (vsaj enega) skupnega starša. |
-| nex(sister(vanessa, vanessa)) | ''X'' ni sestra sama sebi.                                |
+| 2 | ''X'' mora biti ženskega spola.                           |
-| nex(sister(andrew, melanie))  | ''X'' mora biti ženskega spola.                           |
+| 3 | ''X'' ne more biti sestra sama sebi.                      |
+| 4 | ''Y'' ni nujno ženskega spola / relacija ni simetrična.   |
 {{:codeq:prolog:naloge:sister-hints.jpg?direct|}}
+====== Testni primeri ======
+  ex(sister(sally, william)).        nex(sister(william, jeffrey)).
+  ex(sister(melanie, andrew)).       nex(sister(tina, thomas)).
+  ex(sister(luana, daniela)).        nex(sister(nevia, aleksander)).
+  ex(sister(daniela, luana)).        nex(sister(joanne, jill)).
+===== #1 =====
+  nex(sister(vanessa, andrew)).
+  nex(sister(elaine, george)).
+  nex(sister(sally, thomas)).
+===== #2 =====
+  nex(sister(andrew, melanie)).
+  nex(sister(patrick, vanessa)).
+  nex(sister(michael, michelle)).
+===== #3 =====
+  nex(sister(vanessa, vanessa)).
+  nex(sister(sally, sally)).
+  nex(sister(daniela, daniela)).

A.I.lab

User Tools

Site Tools

Differences

Page Tools