A Manual for the Teyjus Implementation of Lambda Prolog

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