List unification problem
Posted: 7 Oct 2019 17:52
Hello Thomas,
please have a look at this code. It outputs "not unfiable" (in build 902).
P.S. Have you seen unsigned64 bit operations?
please have a look at this code. It outputs "not unfiable" (in build 902).
Code: Select all
class predicates
test : (unsigned*, unsigned*).
clauses
test(As, Bs) :-
if [As, [X]] = [[X], Bs] then
stdIO::write("unifies")
else
stdIO::write("not unfiable")
end if.
clauses
run() :-
test([1], [1]).