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
