[mercury-users] Assert/Retract

[Ralph Becket]

Daniel Elenius, Friday, 27 January 2006:
> The full language is higher-order logic, but right now I'm dealing with 
> Horn clauses plus a static type system, which seems to be pretty much 
> what Mercury is...

Okay, one more question: can I assume that the clauses defining a given
predicate all appear in the same policy file?  That is, you do not
require that a predicate p/N be possibly defined by clauses in two or
more different policy files?

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