Prolog Demo Translation File