Conclusion

Achieved so far ...

• TPTP language
• Standards for writing derivations and finite interpretations
• Increasing interoperability

Things to do ...

• Inifinite iterpretations
  • Terms grammars for Herbrand interpretations
• Compaction using normal-form theory

Use the TPTP Language - It's Good for You