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

Last update Sat May 26 03:32:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page