[Martin Meyer]

Hello Thomas,

please check this case (in VIP build 1112):

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]).

It outputs "not unifiable".