challenges/prolog.txt