Next:
Defining lists using logic
Defining lists using logic programming
Overview
The natural numbers
Lists
Program 3.11: Defining a list
Program 3.12: Membership of a list
Program 3.13: Prefixes and suffixes of a list
Trace - Prefixes and suffixes of a list
Program 3.14: Determining sublists of lists
Program 3.15: Appending two lists
Program 3.16: Reversing a list
Program 3.17: Determining the length of a list
Program 3.18: Deleting all occurrences of an element from a list
Program 3.19: Selecting an element from a list
About this document ...
Alan Bond
1999-02-08
