[mercury-users] Assert/Retract

[Daniel Elenius]

Ralph Becket wrote:
> 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?
>
>   
Unfortunately, no. Policy rules can be extended by other policies. We 
might be flexible on this point for the time being though.


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

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