Using the TPTP Language for
Writing Derivations and Finite Interpretations

The TPTP World

The TPTP Language

• Extended BNF
• Annotated Formulae
  • Interpreted Predicates and Functors
• Includes and Comments

Derivations

• Recording Derivations
• The Source Field
• Example Derivation

Finite Interpretations

• Recording Interpretations
• Recording a Finite Domain
• Recording Interpretations of Functors and Predicates
• Example Interpretation
• Variations and Verification

Conclusion