Seems there is a bug with the streams implementation. I am newbie to both gnu-prolog and prolog, I am trying to save a knowledge base using the following fragment of code. This code is working properly with swi-prolog-lite, but not with gnu-prolog. Only the write statement produce some output in the file.
consult('toto.pl').
open('bozo.pl',write,Fic),set_output(Fic),write(':-
dynamic(kb/2).'),nl,listing(kb),flush_output(Fic),close(Fic).
Assume the output file is bozo.pl and the knowledge base is kb and in
file toto.pl.
I tried as well this way with the same result, working fine with
swi-prolog-lite:
consult('toto.pl').
tell('bozo.pl'),write(':- dynamic(kb/2).'),nl,listing(kb),told.
I am running gnu-prolog 1.2.16 with Linux kernel 2.6.13.
TIA,
Daniel Savard
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Bug-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-prolog
