SAL Home OTHERS Artificial Intelligence

E Equational Theorem Prover

E is a a purely equational theorem prover for clausal logic. That means it is a program that you can stuff a mathematical specification (in clausal logic with equality) and a hypothesis into, and which will then run forever, using up all of your machines resources.

Current Version:   0.61

License Type:   GPL

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   ??

Targeted Platforms:

UNIX (including Linux)

Software/Hardware Requirements:

ANSI C Compiler

Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Other Scientific Fields   |   Artificial Intelligence

Comments? SAL@KachinaTech.COM
Copyright © 1995-2000 by Herng-Jeng Jou
Copyright © 1997-2000 by Kachina Technologies, Inc.
All rights reserved.