Jürgen Dix The Logic Programming Paradigm. 123-131 1998 11 AI Commun. 2 db/journals/aicom/aicom11.html#Dix98