ref: 79d1fe1cf2eb6748e2c12ffe9c36a678655302b1
dir: /example.pl/
:- dynamic(math/4). math(A,B,C,D) :- D is A + B + C * A. parentest :- 1 + 2 * 3 + 4. parentest :- (0 * (1 + 2) * 3) * 3 + 4. true. likes(bob, ice). likes(sam, text). likes(sam, ice). could_be_friends(Person1, Person2) :- likes(Person1, Thing1), likes(Person2, Thing2), Thing1 = Thing2. list1(A) :- A = [1,2,3,4]. list2(A) :- A = [a,b|c]. curly(A) :- A = {one,two,three}. =(A,A). length([], zero). length([Head|Tail], suc(Length)) :- length(Tail, Length). :- initialization(could_be_friends(bob, sam)). :- initialization(length([a,b,c,d], Len)). :- initialization(length(_,_)).