tests/examplefiles/sibling.prolog


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

/* Comments /* can nest */
still a comment
*/

:- module(maplist, maplist/3)

assert(world:done). % asserts

sibling(X, Y)      :- parent_child(Z, X), parent_child(Z, Y).

parent_child(X, Y) :- father_child(X, Y).
parent_child(X, Y) :- mother_child(X, Y).

mother_child(trude, sally).

father_child(tom, sally).
father_child(tom, erica).
father_child(mike, tom).