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