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

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

true :- 1 = 1.