Home Videos Video — Prolog Video — Prolog Links Slides Slides Slides (4up) Previous Video — Polytype Semantics Next Video — Prolog's Cut Operator