bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Pl_Err_System() unify_with_occurs_check: Segmentation Violation


From: Renaud Mariana
Subject: Pl_Err_System() unify_with_occurs_check: Segmentation Violation
Date: Thu, 25 Jan 2001 05:07:40 -0500

Hello,

The Pl_Err_System() function causes a Segmentation Violation
with gprolog 1.2.6 / Linux 2.2.16 / PII-MMX.

To reproduce this I modified the file ExamplesC/examp_c.c
by inserting the following line:
 Pl_Err_System(Create_Atom("something"));
say in the 'first_occurrence' function .

another pb :
under the prolog interpreter
| ?- unify_with_occurs_check(X,X).
causes another Segmentation Violation

Note: These bugs don't happen with gprolog 1.2.1 or with
gprolog 1.2.6 compiled with -g.

Hope this helps
______________________________________________________
BoƮte aux lettres - Caramail - http://www.caramail.com


reply via email to

[Prev in Thread] Current Thread [Next in Thread]