-
The best possible intro.
Video. 10 min.
-
Walking through a simple example.
Tutorial (written, step-by-step instructions) at https://le.logicalcontracts.com/p/tutorial01.swinb
Assestment: Read the example and submit it with comments and small changes.
-
Templates for adults.
Video. 2 min.
Tutorial.
Assestment: Read the examples and propose templates for real uses.
-
Facts, Rules and Queries.
Video. 10 min.
Tutorial.
Assestment: Write a small example with new rules and queries.
-
Complex conditions.
Tutorial
Assestment: Write running examples for each type of condition, following the specification.
-
Playing with the querying machinery.
Video. 10 min.
Tutorial.
Assestment: Modify the given examples and show the results of queries.
-
Prolog in multiple languages.
Video. 10 min.
Tutorial.
Assestment: Read the examples in other human languages. Write a new example (in English) and show its Prolog translation.
-
Types.
Video. 10 min.
Tutorial.
Assestment: Create a taxonomy and use it in an example.
-
A library of LE documents.
Video. 5 min.
Assestment: Write an example with a document that includes others.