A.I.lab

UL FRI

User Tools

Site Tools

You are here: start » codeq » prolog » naloge » sister_2
codeq:prolog:naloge:sister_2

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
codeq:prolog:naloge:sister_2 [2015/07/06 19:53]
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). Povezave so podane s predikatom ''parent/2''. Predikata ''male/1'' in ''female/1'' določata spol vsake osebe (vozlišča).
  
-  parent(tina,william). +  parent(tina,william).                      male(william). 
-  parent(thomas,william). +  parent(thomas,william).                    male(thomas). 
-  parent(thomas,sally). +  parent(thomas,sally).                      male(jeffrey). 
-  parent(thomas,jeffrey). +  parent(thomas,jeffrey).                    male(andrew). 
-  parent(sally,andrew). +  parent(sally,andrew).                      male(steve). 
-  parent(sally,melanie). +  parent(sally,melanie).                     male(patrick). 
-  parent(andrew,joanne). +  parent(andrew,joanne).                     male(john). 
-  parent(jill,joanne). +  parent(jill,joanne).                       male(michael). 
-  parent(joanne,steve). +  parent(joanne,steve).                      male(frank). 
-  parent(william,vanessa). +  parent(william,vanessa).                   male(george). 
-  parent(william,patricia). +  parent(william,patricia).                  male(morty). 
-  parent(vanessa,susan). +  parent(vanessa,susan).                     male(jerry). 
-  parent(patrick,susan). +  parent(patrick,susan).                     male(kramer). 
-  parent(patricia,john). +  parent(patricia,john).                     male(aleksandr). 
-  parent(john,michael). +  parent(john,michael).                      male(alessandro). 
-  parent(john,michelle).+  parent(john,michelle).                     male(aleksander).
      
-  parent(frank,george). +  parent(frank,george).                      female(tina). 
-  parent(estelle,george). +  parent(estelle,george).                    female(sally). 
-  parent(morty,jerry). +  parent(morty,jerry).                       female(melanie). 
-  parent(helen,jerry). +  parent(helen,jerry).                       female(joanne). 
-  parent(jerry,anna). +  parent(jerry,anna).                        female(jill). 
-  parent(elaine,anna). +  parent(elaine,anna).                       female(vanessa). 
-  parent(elaine,kramer). +  parent(elaine,kramer).                     female(patricia). 
-  parent(george,kramer). +  parent(george,kramer).                     female(susan). 
-   +                                             female(michelle). 
-  parent(margaret,nevia). +  parent(margaret,nevia).                    female(estelle). 
-  parent(margaret,alessandro). +  parent(margaret,alessandro).               female(helen). 
-  parent(ana,aleksander). +  parent(ana,aleksander).                    female(elaine). 
-  parent(aleksandr,aleksander). +  parent(aleksandr,aleksander).              female(anna). 
-  parent(nevia,luana). +  parent(nevia,luana).                       female(margaret). 
-  parent(aleksander,luana). +  parent(aleksander,luana).                  female(ana). 
-  parent(nevia,daniela). +  parent(nevia,daniela).                     female(nevia). 
-  parent(aleksander,daniela). +  parent(aleksander,daniela).                female(luana). 
-   +                                             female(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).+
  
 ====== Rešitev ====== ====== Rešitev ======
Line 93: Line 58:
 ====== Namigi ====== ====== Namigi ======
  
-^ # ^ Testni primeri                ^ Namig                                                     ^ +^ # ^ Namig                                                     ^ 
-| 1 | 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. | 
-| 2 | nex(sister(andrew, melanie))  | ''X'' mora biti ženskega spola.                           | +| 2 | ''X'' mora biti ženskega spola.                           | 
-| 3 | nex(sister(vanessa, vanessa)) | ''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|}} {{: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)).
codeq/prolog/naloge/sister_2.1436205239.txt.gz · Last modified: 2015/07/06 19:53 by timmy

Page Tools

Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
Public Domain Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki