Prolog for programmers - Kluzniak, Feliks; Szpakowicz, Stanisław; Bień, Janusz S. (Acad. Press, 1985)