TPI - The TPTP Process Instruction Language

• Existing languages only for logical formulae
• Need ways to control ATP systems
• Input/output, grouping, manipulation of logical formulae
• ATP system execution
• Environment variable manipulation, and utility commands
• Some Examples

• TPII
  • TPI interpreter without reasoning capability
  • TPI commands and logical formulae interleaved
• TPI in your Shell
  • perl script to execute TPI commands from shell (script)
  • Allows use of shell programming

• ATP Process The Script and the The Parallelized Script
• Minimized Strategy Scheduling The Script
• Gödel's Proof of God The Script