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