Re: : GNU prolog bug




Jan Wielemaker 寫道:

On 2006-04-26, newser.bbs@xxxxxxxxxxxxxxxxx <newser.bbs@xxxxxxxxxxxxxxxxx> wrote:
the follwoing is recording what happened during my testing the GUN
prolog
============================================================
GNU Prolog 1.2.16
By Daniel Diaz
Copyright (C) 1999-2002 Daniel Diaz
| ?- [user].
compiling user for byte code...
likes(marry , A):-
A = john.

user compiled, 3 lines read - 269 bytes written, 30031 ms

Using 30 seconds to compile one clause looks like a bug to me

Oh ! That was because I type Ctrl-D too slowly. Not the gprolog's
fault.

(hopefully in gathering the time statistics).

(641 ms) yes
| ?- likes (marry ,marry).
uncaught exception: error(syntax_error('user_input:4 (char:8) . or
operator expected after expression'),read_term/3)

=============================================================
See ? This prolog can't tell if marry likes marry .

GNU-Prolog is sufficiently stable not to have this type of elementary
bugs. The error is a syntax error and GNU Prolog is right: it is NOT
allowed to put a space between the predicate name and the ( that opens

Thanks a lot !
I used to use the turbo prolog , thus I can't realize what wrong with
me until
you told me.

the argument list. Thus: likes(marry, marry). Which, before you
submit another bug, will say 'no'.

Cheers --- Jan

.



Relevant Pages

  • Re: SWI-Prolog best choice for GPL-licensed Windows-compatible processor?
    ... I just found Gnu Prolog. ... Both Gnu and SWI advertise that they're ISO ... GNU Prolog is oriented towards systems in that it is intended to run ...
    (comp.lang.prolog)
  • Re: SWI-Prolog best choice for GPL-licensed Windows-compatible processor?
    ... I just found Gnu Prolog. ... Both Gnu and SWI advertise that they're ISO ... GNU Prolog is oriented towards systems in that it is intended to run ... environment, loosing most of the nice interactive properties. ...
    (comp.lang.prolog)
  • [REPORT] : GNU prolog bug
    ... GNU Prolog 1.2.16 ... Copyright 1999-2002 Daniel Diaz ... compiling user for byte code... ... This prolog can't tell if marry likes marry. ...
    (comp.lang.prolog)
  • Re: Newbie - trouble w/ example
    ... trying to get it to work under GNU Prolog with no success. ... Prolog installation in order to see the specifics of syntax for the FD ... Just a point of curiosity - any idea what Prolog implementation the example ...
    (comp.lang.prolog)
  • Re: Where can I find the GNU Prolog grammar syntax?
    ... > I have some prolog code written in Turbo Prolog and I want to rewrite ... GNU Prolog is "Clocksin & Mellish" with a bunch of consistent enhancements, ... Somewhere in the Turbo Prolog docs there are discussions about the differences, ... Area code seven eight zero, Exchange four six six, Local zero one zero nine ...
    (comp.lang.prolog)