[
Top
]
[
Contents
]
[
Index
]
[
?
]
Table of Contents
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
[
Top
]
[
Contents
]
[
Index
]
[
?
]
This document was generated by
Gopalan Nadathur
on
October, 20 2007
using
texi2html 1.76
.