[mercury-users] Assert/Retract

[Ralph Becket]

Daniel Elenius, Sunday, 29 January 2006:
> Unfortunately, no. Policy rules can be extended by other policies. We 
> might be flexible on this point for the time being though.

Hmm, you're on a sticky wicket with this one, then: Mercury insists that
all the clauses for a given predicate appear together in the same module
file.  If modules m1 and m2 both define a predicate p/n these are viewed
as distinct predicates: m1.p/n and m2.p/n.

So that leaves the following options:

(1) simply don't allow policy rules to be defined across multiple files;

(2) take the interpretation approach; or

(3) stick with Prolog :-(.

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