Package: gprolog
Version: 1.4.5-4.1+b1
Severity: grave
Justification: renders package unusable

Hi,

Something seems to be very wrong with gprolog on amd64. Consider this
trivial Prolog code:

parent(david, john).
parent(jim, david).
grandparent(A, B) :- parent(A, X), parent(X, B).

When I try to use this program, I get a strange exception. This
happens on amd64 but not on i386.

$ 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
| ?- consult(family).
compiling /tmp/family.pl for byte code...
/tmp/family.pl compiled, 3 lines read - 644 bytes written, 2 ms

yes
| ?- grandparent(jim, X).
uncaught exception: error(existence_error(procedure,parent/0),grandparent/0)
| ?- 



-- System Information:
Debian Release: 9.0
  APT prefers unstable-debug
  APT policy: (500, 'unstable-debug'), (500, 'unstable'), (500, 'testing'), 
(500, 'stable'), (1, 'experimental')
Architecture: amd64
 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.9.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=nl_BE.UTF-8, LC_CTYPE=nl_BE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages gprolog depends on:
ii  libc6  2.24-10

gprolog recommends no packages.

gprolog suggests no packages.

-- no debconf information

Reply via email to