Prolog for programmers - Kluźniak, Feliks; Szpakowicz, Stanisław (Academic Press, 1985)