[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".

[sbishop61]

I may be missing the logic you are implementing/testing.

If it unification based on there being a list X that when appended to A gives the same list prefixed to B; then the following 'works':

Code: Select all

test(As, Bs) :-
        if [As, [X]] = [[X], Bs] then
            stdIO::write("unifies")
        else
            stdIO::write("not unfiable")
        end if.

If I am misunderstanding, my apologies.

[Martin Meyer]

You are not misunderstanding. My code contains unnecessary complications and can be simplified.

I am reporting the example only to contribute to the perfection of the compiler. The compiler is a magnificent technical masterpiece, it is desirable to eliminate any bug.

[Thomas Linder Puls]

Thank you Martin, we will of course investigate this problem.