Finite-choice logic programming

Full post: Finite-choice logic programming