Re: [REPORT] : GNU prolog bug

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
(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
the argument list. Thus: likes(marry, marry). Which, before you
submit another bug, will say 'no'.

Cheers --- Jan
.

Relevant Pages