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

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