My favorites ▼ | Sign in
Project Logo
Project hosting will be READ-ONLY Wednesday at 8am PST due to brief network maintenance.
Project Home
  
Downloads
  
Wiki
  
Issues
  
Source
    
Search
for
Updated Feb 04 (5 days ago) by andrew.gacek
Labels: Featured
TeyjusManual  
The Teyjus Manual

A Manual for the Teyjus Implementation of Lambda Prolog

The following table of contents provides you a path to the different kinds of information you might be seeking as a user of Teyjus.

LambdaProlog What is Lambda Prolog?
SystemOverview What is Teyjus?
BuildOverview How to build and install Teyjus
Invoking How to run Teyjus
QuickStart A Tutorial Introduction to Teyjus Programming
ProgramStructure The Structure of Programs in Teyjus
TeyjusPrograms The Syntax of Teyjus Programs
TeyjusBuiltins The Builtin Predicates Supported
Examples Experiment with the system
PeopleInvolved The people behind the system
ContactingTheAuthors How to get in touch with the authors
ProjectSupport Acknowledgements of Grant Support

A complete listing of documentation pages including a search option is available here.

Hosted by Google Code