# coding=utf-8 name = 'father/2' slug = 'X je oče od Y' description = '''\

father(?X, ?Y): X je oče od Y.

?- father(thomas, william).
  true.
?- father(aleksander, X).
  X = luana ;
  X = daniela.
''' plan = [ '''\

Oče ima otroka in je moškega spola.

''', '''\

Oče X je starš od Y in je moškega spola.

''', '''\

Če je X moški in je hkrati X starš od Y, potem je X oče od Y.

''' ] hint = { 'or_instead_of_and': '''\

Si morda uporabil podpičje (ki pomeni ALI) namesto vejice (ki pomeni IN)?

''', 'or_instead_of_and_two_rules': '''\

Si morda zapisal dve pravili, eno za spol in eno za "starševstvo"? Pozor: velja eno ALI drugo, ne nujno eno IN drugo!

''', 'x_must_be_male': '''\

Oče je navadno moškega spola.

''', 'x_must_be_parent': '''\

Oče naj bi imel vsaj enega otroka... torej je starš od nekoga.

''', 'y_can_be_of_any_gender': '''\

Y je pravzaprav lahko poljubnega spola.

''', 'y_need_not_be_parent': '''\

Y pravzaprav ne rabi imeti otrok, da ima očeta...

''', }