Towards a taxonomy of novices' misconceptions of the Prolog interpreter

Pat Fung

Mike Brayshaw

Benedict Du Boulay

Mark Elsom-Cook

A series of novice programmers' misconceptions of Prolog flow-of-control and variable unification are identified on the basis of existing empirical evidence, and informal observation. This classification is intended to serve as a first pass attempt towards an understanding of these errors and as a basis for future empirical work.