Warren Abstract Machine and Logic Programming

---

Table of Contents

• Warren Abstract Machine
• CLP(R)
• CLP(X)
• KIV and the WAM Case Study
• PAM
  • Part 1
  • Part 2
  • Earlier Version
• PDP (Distributed Prolog)