Elixir solutions for Werner Hett's Prolog Problems