整数平方根适用于SWI Prolog和YAP，但不适用于GNU Prolog

Question

我通过将以下代码添加到swipl、gprolog和yap中的用户文件中来测试它：

isqrt(N, _) :-
N < 0, !, fail. 
isqrt(N, N) :-
N < 2.
isqrt(N, R) :-
X is N,
Y is (N // 2),
isqrt(N, X, Y, R).
isqrt(_, X, Y, X) :- 
Y >= X.
isqrt(N, _, Y, R) :-
Z is ((Y + N // Y) // 2),
isqrt(N, Y, Z, R).

这在swipl和yap中如预期的那样工作，但在gprolog中，我收到以下N>1:的错误消息

uncaught exception: error(existence_error(procedure,isqrt/0),isqrt/0)

这对我来说很奇怪，因为我的代码中没有一个谓词依赖于isqrt/0。这可能是GNU Prolog中的一个错误吗？我可以做些什么作为变通方法？

---

编辑：以下正是我在ubuntu:上的gprolog中产生此错误的方法

$ 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...
isqrt(N, _) :-
N < 0, !, fail. 
isqrt(N, N) :-
N < 2.
isqrt(N, R) :-
X is N,
Y is (N // 2),
isqrt(N, X, Y, R).
isqrt(_, X, Y, X) :- 
Y >= X.
isqrt(N, _, Y, R) :-
Z is ((Y + N // Y) // 2),
isqrt(N, Y, Z, R).
user compiled, 17 lines read - 1656 bytes written, 10751 ms
yes
| ?- isqrt(100, X).
uncaught exception: error(existence_error(procedure,isqrt/0),isqrt/0)

Answer 1

有一些报告，包括在GNU Prolog邮件列表中，在Linux下出现了类似的错误，尤其是Ubuntu/kubuntu:

http://lists.gnu.org/archive/html/bug-prolog/2018-09/msg00002.html

在报告案例中，从源代码编译GNU Prolog解决了问题。