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