The TPTP World

TPTP Stuff

• The TPTP Problem Library
• The TSTP Solution Library
• SystemOnTPTP
• Application projects

The (new) TPTP Language

• The BNF
• Maintains good old features ... text, Prolog compatibility
• Adds representation of DAG structures and interpretations
• BNF is mechanically translatable to lex/yacc/flex/bison input

Alternatives

• Languages for problems
• Languages with focus
• Languages for problems and derivations
• Languages for computers