Hello!
My name is Pavel.
Thank you very much for so pretty gprolog!
I have found some strange feature:
---
o@Kiki:~/prolog$ gprolog
GNU Prolog 1.5.0 (64 bits)
Compiled Jan 8 2023, 18:49:30 with gcc
Copyright (C) 1999-2023 Daniel Diaz
| ?- [user].
compiling user for byte code...
x(a, a).
x(b, a). % Here is all good.
y(a, a).
end_of_file.
user compiled, 3 lines read - 384 bytes written, 23325 ms
(1 ms) yes
| ?- x(b, A).
A = a
(1 ms) yes
| ?- halt.
o@Kiki:~/prolog$ gprolog
GNU Prolog 1.5.0 (64 bits)
Compiled Jan 8 2023, 18:49:30 with gcc
Copyright (C) 1999-2023 Daniel Diaz
| ?- [user].
compiling user for byte code...
x(a, a). % For some reason
y(a, a). % there is an error
x(b, a). % in this order.
user:3: warning: discontiguous predicate x/2 - clause ignored
end_of_file.
user compiled, 3 lines read - 313 bytes written, 38895 ms
(1 ms) yes
| ?- x(b, A).
no
| ?- halt.
---
That's my fault or gprolog's bug?
Good bye!