Logic Programming using Prolog.
lists prolog trace asp natural-numbers swi-prolog family-tree swi-prolog-library predicates search-trees clpfd list-processing cryptarithmetic
-
Updated
Jan 18, 2019 - Prolog