[mercury-users] About unification and AI

[Maurizio Colucci]

On Friday 23 April 2004 13:15, Maurizio Colucci wrote:
> The set of rules is as follows: there is a list of preconditions and a list
> of consequences that can be inferred:
>
> % rule/2
> % rule( If, Then).
> rule([[A, use, B],   [B, isBoomerang]], % Preconditions
>      [[A, throw, B]]).  % Consequences

Another thing: the first problem is that I don't know how to define the type 
for rule/2.

Maurizio

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