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

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

  ?- mother(tina, william).
    true.
  ?- mother(nevia, 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...

''', }