shithub: pprolog

ref: 79d1fe1cf2eb6748e2c12ffe9c36a678655302b1
dir: /example.pl/

View raw version
:- 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(_,_)).