Prolog for programmers - Kluzniak, Feliks; Szpakowicz, Stanisław (Acad. Pr., 1985)