TXF: The TPTP Typed Extended First-order Form

Introduction

• The TPTP World
• The TPTP Language Hierarchy
• FOOLish Logic

The TXF Language

• Boolean Terms
• Tuples
• Conditional Expressions
• Let Expressions

Current State of TXF

• Examples
• Software

Conclusion

The End - Any Questions?