Discussions related to Visual Prolog
-
Martin Meyer
- VIP Member
- Posts: 354
- Joined: 14 Nov 2002 0:01
Post
by 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
and
fatal error c099 : Internal error, dump file was stored to ...' in
Regards Martin
-
Thomas Linder Puls
- VIP Member
- Posts: 1466
- Joined: 28 Feb 2000 0:01
Post
by Thomas Linder Puls »
I have reproduced the problems, and we will look at it.
Regards Thomas Linder Puls
PDC
-
Thomas Linder Puls
- VIP Member
- Posts: 1466
- Joined: 28 Feb 2000 0:01
Post
by Thomas Linder Puls »
This problem is solved in
Visual Prolog 8 - Build 802.
Regards Thomas Linder Puls
PDC