------- Start of forwarded message ------- X-Coding-System: nil Return-Path: <levy(a)sdl.sri.com> Date: Thu, 26 Apr 2001 20:05:45 -0700 From: Joshua Levy <levy(a)sdl.sri.com> Subject: problem with data predicates

Hello,

I've recently installed ciao v1.6p3 (Linux), and the system seems to be working well. However, I've run into a problem in using the data predicates. Can you tell me if it is a bug, or what I'm doing wrong? I made a file foo.pl containing:

:- module(foo,[main/0]).

blah(1).

main :- assertz_fact(blah(2)), blah(2).

Now if I trace the source, it behaves as I would expect -- blah(2) is satified. But if I compile it, it ends with failure. Any insight would be appreciated. (Also, while I'm asking, is there a way to avoid the 'undefined predicate' error that results if I delete the blah(1) assertion?) Thanks very much for you help, and for making an excellent prolog system freely available.

Sincerely, Joshua Levy ------- End of forwarded message -------