SAL Home OTHERS Artificial Intelligence

Jape

Jape is an interactive tool designed to help with learning, teaching and using formal reasoning. It takes a description of a logic as a system of inference rules, and supports the development of proofs in that logic. It has a tactic language which is used to control the display of proofs and to perform simple searches. It's very flexible: the syntax of logical formulae, the form of judgements, the rules used, the entries in menus, the effect of selection and double-clicking -- all are under the control of the person who encodes the logic.

Current Version:   3.21

License Type:   ??

Home Site:
http://www.comlab.ox.ac.uk/oucl/users/bernard.sufrin/jape.html

Source Code Availability:   Yes

Available Binary Packages:

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

Targeted Platforms:

UNIX (Sparc/Solaris, Sparc/SunOS, Intel/Linux, Intel/Solaris)

Software/Hardware Requirements:

None

Other Links:
None

Mailing Lists/USENET News Groups:

None

User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Other Scientific Fields   |   Artificial Intelligence


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