From: <no...@so...> - 2002-12-10 14:35:09
|
Bugs item #569972, was opened at 2002-06-17 11:40 You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101176&aid=569972&group_id=1176 Category: None Group: None Status: Open >Resolution: Accepted Priority: 5 Submitted By: Daniel Mahler (dmahler) >Assigned to: Luis Castro (lfcastro) Summary: problem with the 'consult' library Initial Comment: Some of the consult library predicates (cvt_canonical/2) seem to be undefined. Trying to reload the consult library causes amemory violation. +++++++++++++++++++++++++++++++++++++++++++++++++++++++ bash$ 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] | ?- cvt_canonical(a,b). ++Error[XSB]: [Runtime/P] Undefined predicate: cvt_canonical / 2 Aborting... | ?- [consult]. ++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... bash$ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ regards Daniel ---------------------------------------------------------------------- >Comment By: Luis Castro (lfcastro) Date: 2002-12-10 14:35 Message: Logged In: YES user_id=6694 You can import cvt_canonical/2 instead of consulting consult, with: |?- import cvt_canonical/2 from consult. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101176&aid=569972&group_id=1176 |