#22 ILisp falls into an infinite loop

open
nobody
None
5
2004-08-23
2004-08-23
Miklós Espák
No

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):

(require :prolog)
(use-package :prolog)
(<-- (is-one 1))
(?- (is-one ?x))

Discussion

  • Miklós Espák
    Miklós Espák
    2004-08-29

    Logged In: YES
    user_id=253678

    This problem happens only when I want to evaluate an S-exp (or
    region...) using an ilisp function, eg. eval-region-lisp.

    When I paste the region into the ilisp buffer and hit Enter, the region is
    evaluated well.