ref: 02145f06ac007d730bc16930185fe18fa3e76c68 dir: /example.pl/
:- dynamic(math/4). math(A,B,C,D) :- D is A + B + C * A. true :- 1 = 1.