Differences

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

--- codeq:prolog:naloge:sister_2 [2015/07/06 20:09]
timmy
+++ codeq:prolog:naloge:sister_2 [2015/07/07 15:58] (current)
timotej
@@ Line 61: / Line 61: @@
 | 1 | ''X'' in ''Y'' morata imeti (vsaj enega) skupnega starša. |
 | 2 | ''X'' mora biti ženskega spola.                           |
-| 3 | ''X'' ni sestra sama sebi.                                |
+| 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|}}
@@ Line 67: / Line 68: @@
 ====== 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(vanessa, andrew)).
-  nex(sister(elaine, george))
+  nex(sister(elaine, george)).
-  nex(sister(sally, thomas))
+  nex(sister(sally, thomas)).
 ===== #2 =====
-  nex(sister(andrew, melanie))
+  nex(sister(andrew, melanie)).
-  nex(sister(patrick, vanessa))
+  nex(sister(patrick, vanessa)).
-  nex(sister(michael, michelle))
+  nex(sister(michael, michelle)).
 ===== #3 =====
-  nex(sister(vanessa, vanessa))
+  nex(sister(vanessa, vanessa)).
-  nex(sister(sally, sally))
+  nex(sister(sally, sally)).
-  nex(sister(daniela, daniela))
+  nex(sister(daniela, daniela)).

A.I.lab

User Tools

Site Tools

Differences

Page Tools