please check this code. It outputs "not unfiable" (in VIP 8 build 801).
Code: Select all
class predicates
test : (unsigned, unsigned).
clauses
test(A, B) :-
if [A, X] = [X, B] then
stdIO::write("unifies")
else
stdIO::write("not unfiable")
end if.
clauses
run() :-
test(1, 1).
Code: Select all
if [1, 2] = [X, X] then
end if.
Code: Select all
if [1, 2] = [X | X] then
end if.