Examples

Predicate_Compile_Tests

Predicate_Compile_Quickcheck_Examples

Specialisation_Examples

IMP_1

IMP_2

IMP_3

IMP_4

Code_Prolog_Examples

Context_Free_Grammar_Example

Hotel_Example

Hotel_Example_Prolog

Lambda_Example

List_Examples

Reg_Exp_Example