[mercury-users] top-level loop?

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Dec 5 11:45:48 AEDT 1998

On 04-Dec-1998, Andreas Schoter <andreas at intertrader.com> wrote:
> 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?

No, the current implementation doesn't support that kind of thing.

> 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?

No, it doesn't.  It would certainly be possible for an implementation to
support that kind of thing.  It's just not that easy to do given our current


Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at        |     -- leaked Microsoft memo.

More information about the users mailing list