[mercury-users] Assert/Retract

[Daniel Elenius]

Ralph Becket wrote:
> Daniel Elenius, Friday, 27 January 2006:
>   
>> This kind of goes into the question: Should I use Mercury "reasoning"
>> directly, or use Mercury as an implementation language to implement the
>> reasoner. I was thinking of doing the former, as it would (I assume) be
>> much less work. The policies map pretty well to at least Prolog, and I
>> was hoping that that would mean that they map just as well to Mercury
>> (or better -- we also have a type system that seems to be mostly
>> subsumed by the Mercury type system).
>>     
>
> Can you give us some examples of the rules you need to implement?
>
>   
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...

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