% From The Art of Eyepl, Chapter 3 — Meaning is not the search strategy.
closed(X) :- blocked(X).
open(X) :- candidate(X), not(closed(X)).