← Back to Home
An educational chess puzzle game designed to teach the player first-order logic (a.k.a. predicate logic).
