The TPTP Process Instruction Language

• Motivation and Aims

• TPI Command Formulae

• TPTP Logical Formulae

• TPI Commands

• Some Examples

• TPI Interpreters

• TPI Applications

• Conclusion