[mercury-users] top-level loop?

[Fergus Henderson]

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
implementation.

Cheers,
	Fergus.

-- 
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 128.250.37.3        |     -- leaked Microsoft memo.