From: Paolo Capriotti <p.capriotti@...>
Date: 2005-07-05T02:09:12+09:00
Subject: Re: [SOLUTION] Inference Engine (#37)

On 7/4/05, Abu Abdullah <alawi2@eim.ae> wrote:

> C:\>inference
>  > all dogs are mamals
> OK
>  > all mamals are hairy animals
> OK
>  > all mamals are dogs
> OK ------------------ ? ? ?

why not?

Paolo