Any simple Prolog query causes ilisp to fall into an infinite loop.
Evaluating the same code in a Lisp shell started from a console
window does not result any problem.
I used Peter Norvig's Prolog implementation
(http://www.norvig.com/paip/README.html), and tried out more
Common Lisp implementation, too. (AllegroCL 6.2, CMUCL, SBCL)
Norvig's Prolog has been integrated into AllegroCL 6.2 some
weeks ago. The error can be reconstructed by the following code
sample (written for ACL62 with the Prolog patch):
(<-- (is-one 1))
(?- (is-one ?x))