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.

► Sign in to add a comment