Situation: I authored a Prolog program.