Prolog for programmers - Kluzniak, Feliks (A.P.I.C. studies in data processing, 1985)