Renumbered Prolog solutions.