[Bug 1711346] Re: gprolog toplevel fails on basic example (fixed upstream?)

[Cedric Ware]

Hello,

Thanks for your comment, Ian, and for reminding me again of this bug.

If it can help, I'm attaching a patch that lets the stable gprolog-1.4.4
compile with gcc 6.

OTOH, I'm not sure that this is actually the right place to report bugs,
because I suspect Ubuntu uses the Debian package more or less as-is.
Correct me if I'm wrong.  As it happens, the bug has been reported in
Debian (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861027), and
has prevented gprolog to be included in recent stable releases, I guess.

I submitted a follow-up to that bug, wait and see.

Best regards,
Cedric Ware.


** Bug watch added: Debian Bug tracker #861027
   https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861027

** Patch added: "Patch against previous version of gprolog (latest stable)."
   
https://bugs.launchpad.net/ubuntu/+source/gprolog/+bug/1711346/+attachment/5159686/+files/gprolog-1.4.4-gcc6.patch

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1711346

Title:
  gprolog toplevel fails on basic example (fixed upstream?)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gprolog/+bug/1711346/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 1711346] [NEW] gprolog toplevel fails on basic example (fixed upstream?)

[Cedric Ware]

Public bug reported:

Hello,

In Ubuntu 17.04 (Zesty), with gprolog 1.4.5-4.1, the toplevel
interpreter fails to execute valid code, including this basic example
copied from the manual:

krakatoa ~ % gprolog
GNU Prolog 1.4.5 (64 bits)
Compiled Feb  5 2017, 10:30:08 with gcc
By Daniel Diaz
Copyright (C) 1999-2016 Daniel Diaz
| ?- [user].
compiling user for byte code...
even(0).
even(s(s(X))) :- even(X).

user compiled, 2 lines read - 326 bytes written, 12353 ms

(3 ms) yes
| ?- even(X).

X = 0 ? ;
uncaught exception: error(existence_error(procedure,even/0),even/0)
| ?- 

The same example works with all other versions of gprolog I tested: the
older 1.3.0-6.1 in Xenial; the stable version 1.4.4 downloaded from
http://www.gprolog.org/ (with commit cc8249 applied manually to fix
compilation); as well as a freshly-cloned git repository from
https://git.code.sf.net/p/gprolog/code .  For instance:

krakatoa ~ % export PATH=/opt/gprolog-1.4.4/bin:$PATH  
krakatoa ~ % gprolog
GNU Prolog 1.4.4 (64 bits)
Compiled Aug 17 2017, 12:18:48 with gcc
By Daniel Diaz
Copyright (C) 1999-2013 Daniel Diaz
| ?- [user].
compiling user for byte code...
even(0).
even(s(s(X))) :- even(X).

user compiled, 3 lines read - 321 bytes written, 3627 ms

yes
| ?- even(X).

X = 0 ? ;

X = s(s(0)) ? ;

X = s(s(s(s(0 ? ;

X = s(s(s(s(s(s(0)) ?

yes
| ?- 

I believe the bug was introduced and fixed sometime between 1.4.4 and the 
current code in git. It looks related to these messages in the users-prolog 
mailing list. No fix was subsequently announced, but the current code works.
http://www.mail-archive.com/users-prolog@gnu.org/msg01032.html
http://www.mail-archive.com/users-prolog@gnu.org/msg01033.html

This bug makes Zesty's gprolog package unusable. Could you please update
it?

Thanks in advance,
Cedric Ware.

** Affects: gprolog (Ubuntu)
 Importance: Undecided
 Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1711346

Title:
  gprolog toplevel fails on basic example (fixed upstream?)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gprolog/+bug/1711346/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs