Teyjus: Table of Contents (original) (raw)

• 1. Lambda Prolog
• 2. Overview of Teyjus
• 3. Setting Up
  • 3.1 Retrieving Teyjus
  • 3.2 Compatibility
  • 3.3 Compiling Teyjus
• 4. Invoking
  • 4.1 Invoking tjsim
  • 4.2 Invoking tjcc
  • 4.3 Invoking tjdis
  • 4.4 Invoking teyjus
  • 4.5 Environment
• 5. Solving Queries
• 6. Program Structure and Syntax in Teyjus
  • 6.1 Characterization of Tokens in Teyjus
    * 6.1.1 Keywords
    * 6.1.2 Other Special Tokens in Teyjus
    * 6.1.3 Punctuation Symbols
    * 6.1.4 Identifier and Variable Names
    * 6.1.5 Integer Literals
    * 6.1.6 Real Literals
    * 6.1.7 String Literals
    * 6.1.8 The Syntax for Comments
  • 6.2 The Structure of a Signature File
    * 6.2.1 A BNF Specification of Signature Syntax
    * 6.2.2 Commentary on Signature Syntax
  • 6.3 The Structure of Source Code for a Module
    * 6.3.1 A BNF Specification of Module Syntax
    * 6.3.2 Commentary on Module Syntax
  • 6.4 Matching a Module with its Signature
  • 6.5 Using Signatures to Certify Module Interactions
  • 6.6 Builtin Sorts and Type Constructors, Constants and Predicates
    * 6.6.1 Sorts and Type Constructors
    * 6.6.2 Logical Constants and Primitive Goals
    * 6.6.3 Pervasive Constants
    * 6.6.4 Builtin Comparison Predicates
    * 6.6.5 Input/Output and other Side Effecting Predicates
  • 6.7 Special Characteristics of the Teyjus Implementation
• 7. Examples
  • 7.1 Examples for lists
  • 7.2 Examples for reverse
  • 7.3 Examples for maps
  • 7.4 Examples for assoc
  • 7.5 Examples for funs
  • 7.6 Examples for pnf
• 8. Contacting the Authors
• 9. Acknowledgments
• Concept Index

This document was generated by Gopalan Nadathur on October, 20 2007 using texi2html 1.76.