Deduce122

Short:        A deductive reasoning AI program
Author:       williamj@griffon.mwsc.edu (James Williams)
Uploader:     williamj griffon mwsc edu (James Williams)
Type:         text/misc
Architecture: m68k-amigaos

Deduce will let a user enter information as plain English sentences and
then ask yes/no questions about it.  Deduce will be able to determine
the answers to the questions through deductive reasoning.

eg

Spot is a dog
A dog is an animal
Is spot an animal?

Yes

----------------------------------------------------------------------
Changes since 1.21
----------------------------------------------------------------------

version 1.22 (bugfix)
  * Fixed that enforcer hit.  See up on changes for version 1.20 where
    it says "Fixed a bug that caused segmentation faults on a Sun
    Sparc Station" ?  Well, that code somehow got lost and wasn't
    included in the Amiga version.  And when I upgraded to SAS/C, it
    DID start causing problems. (Thanks Stefan Dube and Simon Stelling)
  * Fixed another problem with negative logic.  Consider the following:
      a dog will eat dog_food
      a cat is not a dog
      will a cat eat dog_food?
    Deduce would answer yes.  This has been fixed. (Thanks Stefan Dube)
  * Deduce no longer prints the blank lines in its output. (suggested by
    Simon Stelling)