Prolog

• History of Prolog
• CLP
• CLP(B), Boolean Unification
• DCGs
• Occur-Check

Prolog Implementation

• Theses
• Parsing Prolog Terms and Programs
• Warren Abstract Machine Papers (Register Allocation)
• Translating Prolog, WAM, ... to C - ... to Native Code
• Clause Indexing
• Delay, Freeze, Suspensions, Attributed Variables, Coroutines, ...
• Prolog Memory Management - Garbage Collection

Prolog Applications

• Using Prolog to Build Compilers
• Prolog & VLSI