Thomas W. Jerardi Puzzles, PROLOG amd Logic. 63-69 1987 22 SIGPLAN Notices 4 db/journals/sigplan/sigplan22.html#Jerardi87