Kenneth A. Bowen Adventures in the Prolog Trade. 22 1999 ICLP db/conf/iclp/iclp99.html#Bowen99