Conclusion

TPI Language

• Adds new ways to use TPTP compliant ATP systems
• Prolog syntax compatible with existing TPTP languages
• Interpreters quite easy to implement, and are available
• Existing problem file are TPI files

Applications

• Controlling ATP systems
• Developing theories

Future Work

• Make the shell implementation robust and distribute
• Standardize the set_logic command
• Commands for generic search control (half done)
• Your suggestions, please