4 ms·
SWI-Prolog has CLP extensions to do exactly that: http://www.swi-prolog.org/pldoc/man?section=clp http://www.swi-prolog.org/pldoc/man?section=clp ?- use_mo
by colanderman 10y ago
SWI-Prolog has CLP extensions to do exactly that: http://www.swi-prolog.org/pldoc/man?section=clp http://www.swi-prolog.org/pldoc/man?section=clp
?- use_module(library(clpq)).
midpoint(X, Y, Z) :- {Z =:= (X+Y)/2}.
two(X) :- midpoint(0, X, 1).
does what you want.
- thisrod 10y agoThank you. It's a relief to know that I don't need to invent it.