tell listing failure in GNU prolog - PROLOG
This is a discussion on tell listing failure in GNU prolog - PROLOG ; I try to save databease in GNU prolog , but it failed.
My steps were the followings:
--------------------------------------------------------------------------
GNU Prolog 1.2.16
By Daniel Diaz
Copyright (C) 1999-2002 Daniel Diaz
| ?- assertz(db_test(test)).
yes
| ?- tell('c:\\test.txt').
yes
| ?- listing.
...
-
tell listing failure in GNU prolog
I try to save databease in GNU prolog , but it failed.
My steps were the followings:
--------------------------------------------------------------------------
GNU Prolog 1.2.16
By Daniel Diaz
Copyright (C) 1999-2002 Daniel Diaz
| ?- assertz(db_test(test)).
yes
| ?- tell('c:\\test.txt').
yes
| ?- listing.
db_test(test).
yes
| ?- told.
yes
| ?-
-------------------------------------------------------------------------------
And when the file 'c:\\test.txt' was checked ,
it was an empty file .
I did the same thing to SWI prolog as the following :
++++++++++++++++++++++++++++++++++++++++
Welcome to SWI-Prolog (Multi-threaded, Version 5.6.12)
Copyright (c) 1990-2006 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.
For help, use ?- help(Topic). or ?- apropos(Word).
1 ?- assertz(db_test(test)).
Yes
2 ?- tell('c:\\test.txt').
Yes
3 ?- listing.
Yes
4 ?- told.
Yes
++++++++++++++++++++++++++++++++++++++++++++++
and the contents of the file 'c:\\test.txt' were
==================================
:- dynamic db_test/1.
db_test(test).
===================================
It is now obvious that GNU prolog gets a bug .
-
Re: tell listing failure in GNU prolog
On Fri, 26 May 2006 17:52:00 +0200, <newser.bbs@bbs.ee.ncu.edu.tw> wrote:
> It is now obvious that GNU prolog gets a bug .
Not obvious at all to me.
listing/0 is not a standard predicate, so a different behaviour
between two implementations does not means one of them is wrong.
P.
--
Anything below this line is being added by the newsserver
Inviato da X-Privat.Org - Registrazione gratuita http://www.x-privat.org/join.php
Similar Threads
-
By Application Development in forum Inetserver
Replies: 1
Last Post: 12-30-2007, 09:53 PM
-
By Application Development in forum PROLOG
Replies: 9
Last Post: 12-12-2007, 06:08 AM
-
By Application Development in forum Inetserver
Replies: 6
Last Post: 11-23-2007, 10:53 AM
-
By Application Development in forum PROLOG
Replies: 15
Last Post: 02-09-2006, 09:24 AM
-
By Application Development in forum PROLOG
Replies: 20
Last Post: 08-28-2005, 03:17 AM