catchup-onlisp

24. Prolog

24.1. Concepts

24.2. An Interpreter

24.3. Rules

24.4. The Need for Nondeterminism

24.5. New Implementation

24.6. Adding Prolog Features

24.7. Examples

24.8. The Senses of Compile

짚고 넘어가기