This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
en:dydaktyka:problog:lab3 [2019/01/14 15:53] msl [Toy Problem] |
en:dydaktyka:problog:lab3 [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| 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 ====== | ||
