Michael R. Wick Daniel E. Stevenson On using scheme to introduce prolog. 41-45 2006 conf/sigcse/2006 SIGCSE http://doi.acm.org/10.1145/1121341.1121356 db/conf/sigcse/sigcse2006.html#WickS06