Bart Demoen Department of Computer Science K.U.Leuven Belgium I heard about Prolog for the first time when I was teaching IBM-370 assembler in a technical school. I was studying for a masters in informatics at that moment as well. A colleague said: "very soon now, you will learn about a language in which backtracking is build in". I thought he was joking because this did strike me as too weird. Bu