[mercury-users] Assert/Retract
Daniel Elenius
elenius at csl.sri.com
Mon Jan 30 11:36:24 AEDT 2006
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
--------------------------------------------------------------------------
More information about the users
mailing list