Situation: I program in Prolog.