kelyane/solver-tetravex-prolog-paradigma-logico-2014 archive