Micro-Prolog : programming in logic - Clark, K.L (Series in computer science edited by C.A.R. Hoare, 1984)