• Dealing with NOT
• Recursive Arithmetic
• Back to Lists
• Using Conc for more list functions
• Lists - Use
• Searching Graphs
• About this document ...

Back to the Prolog Page