Implementation

See separate sub-section on strings.

Contents

• Threaded Code

• Compilation of Disjuncts

• The Occurs Check

• A WAM emulator

• Performace of Binary Clauses / Continuations

• Compact Representation of Lists

• 32 Bit Prolog compilers for OS/2

• SIMD, SAMD, or Cray LP

• The Implementation of Fair Search Rules

• Why is Interning Atoms and Functors Nonbacktrackable?

• WAM Free Variables?

• State-of-the-art Garbage Collection (GC)

• What is a Global Stack Used For?

• How to Benchmark Prolog?

• A Question About clause/2

• WAM Compiler and Emulator

• Run-time Errors

• Any Recent Prolog Hardware?

• Dismal Indexing

• Prolog Speed

• Continuation-passing Models of Backtracking

• TRO

• Prolog on the Alpha-Chip Processor?

• Alias Variables

• Garbage Collection (GC)