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
en:dydaktyka:problog:lab3 [2019/01/14 14:53]
msl [Toy Problem]
en:dydaktyka:problog:lab3 [2019/01/15 10:32] (current)
msl [Settings format]
Line 164: Line 164:
 base(parent(person,​person)). base(parent(person,​person)).
 base(male(person)). base(male(person)).
-base(female(person)). 
-base(mother(person,​person)). 
 base(grandmother(person,​person)). base(grandmother(person,​person)).
-base(father(person,​person)). 
-base(male_ancestor(person,​person)). 
-base(female_ancestor(person,​person)). 
  
 % Target % Target
Line 177: Line 172:
 example_mode(auto). example_mode(auto).
 </​code>​ </​code>​
 +
 +You'll have to define a family using ''​male''​ and ''​parent''​ facts.
 +Start with simple family and then add new members as needed.
  
 ===== Big Fat Assignment ====== ===== Big Fat Assignment ======
en/dydaktyka/problog/lab3.1547477597.txt.gz · Last modified: 2019/01/14 14:53 by msl
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0