Teyjus


1. Lambda Prolog		What is Lambda Prolog?
2. Overview of Teyjus		What is Teyjus?
3. Setting Up		How to set up and install Teyjus.
4. Invoking		How to run Teyjus.
5. Solving Queries		How to find the solution to a query.
6. Program Structure and Syntax in Teyjus		Teyjus Syntax, Builtins and Program Structure
7. Examples		Experiment with the system.

8. Contacting the Authors		How to get in touch with the authors.

9. Acknowledgments		The people behind the system.
Concept Index		Index of related concepts.
--- The Detailed Node Listing --- Setting Up
3.1 Retrieving Teyjus		Where to find Teyjus.
3.2 Compatibility		Where will Teyjus run?
3.3 Compiling Teyjus		How to compile and install Teyjus.
Invoking
4.1 Invoking tjsim		How to use `tjsim'.
4.2 Invoking tjcc		How to use `tjcc'.
4.3 Invoking tjdis		How to use `tjdis'.
4.4 Invoking teyjus		How to use `teyjus'.

4.5 Environment		Environment variables.
Program Structure and Syntax in Teyjus
• Program Structure		Role of Signatures and Modules.
6.1 Characterization of Tokens in Teyjus
6.2 The Structure of a Signature File
6.3 The Structure of Source Code for a Module
6.4 Matching a Module with its Signature		Matching Module Code to its Signature.
6.5 Using Signatures to Certify Module Interactions
6.6 Builtin Sorts and Type Constructors, Constants and Predicates		A Catalogue of Teyjus builtins.
6.7 Special Characteristics of the Teyjus Implementation		Some Language Level Idiocyncracies.
Characterization of Tokens in Teyjus
6.1.1 Keywords		The reserved words in Teyjus.
6.1.2 Other Special Tokens in Teyjus		Other special tokens in Teyjus.
6.1.3 Punctuation Symbols		Delimiters, grouping tokens and such.
6.1.4 Identifier and Variable Names		Variables and identifiers.
6.1.5 Integer Literals		Integer literals.
6.1.6 Real Literals		Real literals.
6.1.7 String Literals		String literals.
6.1.8 The Syntax for Comments		The syntax for comments.
The Structure of a Signature File
6.2.1 A BNF Specification of Signature Syntax		A BNF specification of signature syntax.
6.2.2 Commentary on Signature Syntax		Commentary on the grammar.
The Structure of Source Code for a Module
6.3.1 A BNF Specification of Module Syntax		A BNF specification of module syntax.
6.3.2 Commentary on Module Syntax		Commentary on the grammar.
Builtin Sorts and Type Constructors, Constants and Predicates
6.6.1 Sorts and Type Constructors		Builtin Sorts and Type Constructors.
6.6.2 Logical Constants and Primitive Goals
6.6.3 Pervasive Constants		Predefined Non Boolean Type Constants.
6.6.4 Builtin Comparison Predicates		Builtin Comparison Operators.
6.6.5 Input/Output and other Side Effecting Predicates		Predicates for I/O and Relatives.
Examples
7.1 Examples for lists		Queries to try in module `lists'.
7.2 Examples for reverse		Queries to try in module `reverse'.
7.3 Examples for maps		Queries to try in module `maps'.
7.4 Examples for assoc		Queries to try in module `assoc'.
7.5 Examples for funs		Queries to try in module `funs'.
7.6 Examples for pnf		Queries to try in module `pnf'.

[Top]

[Contents]

[Index]

[ ? ]

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