I authored a Prolog program.