Are there pokémon with backtracking and unification traits? Those could do real Prolog!