CSU34011 Symbolic Programming

1 - Introduction

Logic Programming: describing vs ordering

2 - Unification & Proofs

Unification in Prolog and Proof Search

3 - Recursion

Recursive definitions and non-termination

4 - Lists

A recursive data structure

5 - Arithmetic

is/2 and other built-in arithmetic predicates

6 - More Lists

append/3 and reverse/2 two ways

7 - Definite Clause Grammars

8 - More DCGs

Extra arguments and tests

9 - A closer look at terms

==/2, strings and operators, term structure

10 - Cuts & Negation

Backtracking pruned & negation as failure

11 - Database Manipulation

KB changes and collecting answers

12 - Working with Files

Handling files and modularity