From: Abu Abdullah <alawi2@...>
Date: 2005-07-05T01:55:00+09:00
Subject: Re: [SOLUTION] Inference Engine (#37)

Paolo Capriotti wrote:

>My solution can be found here:
>http://linuz.sns.it/~capriotti/ruby/inference.rb
>
>Paolo Capriotti
>
>  
>
C:\>inference
 > all dogs are mamals
OK
 > all mamals are hairy animals
OK
 > all mamals are dogs
OK ------------------ ? ? ?