ref: 8fdf0bc6e9770e2cea4d8e18299ff5a8a9aa0802 dir: /example.pl/
:- dynamic(math/4). math(A,B,C,D) :- D is A + B + C * A. true.