Hi there, apparently, the bug in XSB that affected our encoding of PPL variables in Prolog has been fixed. It took 9 months though ;-) Cheers Roberto -------- Original Message -------- Subject: [ xsb-Bugs-585031 ] Segfault consulting very simple program Date: Mon, 21 Apr 2003 09:00:49 -0700 From: SourceForge.net <noreply@sourceforge.net> To: noreply@sourceforge.net Bugs item #585031, was opened at 2002-07-22 17:39 Message generated for change (Settings changed) made by lfcastro You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101176&aid=585031&group_id... Category: Compiler Group: Core Dump

Status: Closed Resolution: Fixed Priority: 5 Submitted By: Roberto Bagnara (bagnara) Assigned to: Luis Castro (lfcastro) Summary: Segfault consulting very simple program

Initial Comment: Consulting the file bug.P results in a segmentation fault: $ cat bug.P p :- A = '$VAR'(0). $ xsb [xsb_configuration loaded] [sysinitrc loaded] [packaging loaded] XSB Version 2.5 (Okocim) of March 11, 2002 [i686-pc-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; scheduling: local] | ?- consult(bug). [Compiling ./bug] ++Memory violation occurred during evaluation. ++Please report this problem using the XSB bug tracking system accessible from ++ http://sourceforge.net/projects/xsb ++Please supply the steps necessary to reproduce the bug. Exiting XSB abnormally... $ ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101176&aid=585031&group_id... -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it