Daniel G. Bobrow If Prolog is the Answer, what is the Question? 138-145 1984 FGCS db/conf/fgcs/fgcs84.html#Bobrow84