top-level loop?

[Andreas Schoter]

Hi,

Please excuse the dumb question: is it possible to interact with the system
in the kind of way that Prolog's top-level loop provides, i.e, the '?-'
prompt?

I've checked the documentation and searched the mailing list archive, but I
can find no mention of such a thing, so I guess not?

The documentation talks about the need to ensure that the goal query as
well as all the program clauses are well-typed and well-moded, which the
compiler obviously ensures.  But does this strictly preclude the kind of
run-time interaction that I want here?  Wouldn't it be possible, once the
program had been compiled to do a run-time check on user goals?


Thanks

Andreas

________________________________________________________________________
                                     Dr Andreas Schöter, Intertrader Ltd
                                              http://www.intertrader.com
                        Tel: +44(0)131 475 7108, Fax: +44(0)131 475 7109