Join GitHub today
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.
- What is Lambda Prolog?
- What is Teyjus?
- How to build and install Teyjus
- How to run Teyjus
- A Tutorial Introduction to Teyjus Programming
- The Structure of Programs in Teyjus
- The Syntax of Teyjus Programs
- The Builtin Predicates Supported
- Examples of Lambda Prolog Programs
- Some suggestions for building debugging tools
- The people behind the system
- How to get in touch with the authors
- Acknowledgements of Grant Support