[Martin Meyer]

Hello Thomas,

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

Maybe same problem causes error c998 : The variable 'X' can be both free and bound in

Code: Select all

        if [1, 2] = [X, X] then
        end if.

and fatal error c099 : Internal error, dump file was stored to ...' in

Code: Select all

        if [1, 2] = [X | X] then
        end if.

[Thomas Linder Puls]

I have reproduced the problems, and we will look at it.

[Thomas Linder Puls]

This problem is solved in Visual Prolog 8 - Build 802.