summaryrefslogtreecommitdiff
path: root/example.pl
blob: 8037d1cbc0df5047544d6ea15bc4e3a6df554540 (plain) (blame)
1
2
3
4
5
:- dynamic(math/4).

math(A,B,C,D) :- D is A + B + C * A.

true.