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:09]
timmy 		codeq:prolog:naloge:sister_2 [2015/07/07 15:58] (current)
timotej
Line 3: Line 3:
 Predikat ''sister(X, Y)'' velja natanko takrat, kadar je ''X'' sestra od ''Y''. Primer klica: Predikat ''sister(X, Y)'' velja natanko takrat, kadar je ''X'' sestra od ''Y''. Primer klica:
  
-  ?- sister(vanessa, X). +  ?- sister(X, patricia). 
-    X = patricia.+    X = vanessa.
  
 ===== Predznanje ===== ===== Predznanje =====
Line 10: Line 10:
 {{:codeq:prolog:naloge:famrel_graph.gif?direct|}} {{:codeq:prolog:naloge:famrel_graph.gif?direct|}}
  
-Puščice podaja predikat ''parent/2''. Predikata ''male/1'' in ''female/1'' določata spol vsake osebe.+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 ====== ====== Namigi ======
 +
 +^ # ^ Namig                                                     ^
 +| 1 | ''X'' in ''Y'' morata imeti (vsaj enega) skupnega starša. |
 +| 2 | ''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|}} {{:codeq:prolog:naloge:sister-hints.jpg?direct|}}
  
-^ Testni primeri                ^ Heading 2                                                 ^ +====== Testni primeri ====== 
-| nex(sister(vanessa, andrew))  | ''X'' in ''Y'' morata imeti (vsaj enega) skupnega starša. | + 
-| nex(sister(vanessa, vanessa)) | ''X'' ni sestra sama sebi.                                | +  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.1436202575.txt.gz · Last modified: 2015/07/06 19:09 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