Make applyo
use constraints
#19
Labels
CLP
Constraint Logic Programming
enhancement
New feature or request
important
new goal
This issue implies the creation of a new goal (constructor)
buildo
(soon to be replaced byapplyo
) will actually apply a rator to its rands and unify the result with its third argument: i.e.buildo(add, (1, 1), q_lv)
should unifyq_lv
with3
.We need to use the new constraint system to make sure that, for example,
add(1, 1)
is computed and unified withq_lv
oncerator_lv
andrands_lv
are fully ground in a goal likebuildo(rator_lv, rands_lv, q_lv)
.The text was updated successfully, but these errors were encountered: