Personal tools
You are here: Home → Downloads → PTTP
Navigation
Log in


Forgot your password?
New user?
 
Document Actions

PTTP

PTTP is a theorem-prover for the first-order predicate calculus that uses the model elimination inference procedure and iterative deepening search. Input formulas are compiled by PTTP for direct execution by Prolog, so individual inference operations are fast.

Click here to get the file

Size 231.7 kB - File type application/x-tar
by Mark Stickel — last modified 2007-01-31 15:11
Contributors: Mark Stickel
« November 2009 »
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30
What's up ?
Be notified when a document is published in this folder or below.
 
Powered by Plone, the Open Source Content Management System

This site conforms to the following standards: