PROLOG - programming for tomorrow - Dolres, J; Reiblein, A.R; Vadera, S (Sigma Press, 1985)