Anagram prolog