[mercury-users] query-mode?

[Terrence Monroe Brannon]

I know that Mercury is a fully-compiled language, but I was wondering
if there were some sort of predicate that I could use to throw a
compiled program into a query mode so that I could pose simple queries
to a program. Example based on my recent border.m program


unix shell> ./border

mercury query mode> border("sussex", L).

L = "kent". (1 solution)

q> Try again? Y

L = "surrey"

q> Try again? Y

fail.

mercury query mode>

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------