List unification problem

Discussions related to Visual Prolog
Post Reply
Martin Meyer
VIP Member
Posts: 231
Joined: 14 Nov 2002 0:01

List unification problem

Post by Martin Meyer » 24 Feb 2018 10:48

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.
Regards Martin

User avatar
Thomas Linder Puls
VIP Member
Posts: 2327
Joined: 28 Feb 2000 0:01

Re: List unification problem

Post by Thomas Linder Puls » 3 Mar 2018 23:13

I have reproduced the problems, and we will look at it.
Regards Thomas Linder Puls
PDC

User avatar
Thomas Linder Puls
VIP Member
Posts: 2327
Joined: 28 Feb 2000 0:01

Re: List unification problem

Post by Thomas Linder Puls » 14 May 2018 11:18

This problem is solved in Visual Prolog 8 - Build 802.
Regards Thomas Linder Puls
PDC

Post Reply