Damjan Bojadziev A Constructive View of Prolog. 69-74 1986 3 J. Log. Program. 1 db/journals/jlp/jlp3.html#Bojadziev86