Conclusion

This Talk

• Overview of Logic Languages of the TPTP World
• CNF, FOF, TFF, THF, NTF
• One language syntax, Prolog compatible.
• Examples thanks to Jim Davis

Call to Arms

• TPTP language a key to success
• TPTP World de facto platform for ATP R&D
• Logicians are needed (for the semantics)
• Please contribute expertise (and money :-)

Thanks

• TPTP World users
• TPTP World developers
• TPTP World funders