Prolog for programmers - Kluźniak, Feliks; Szpakowicz, Stanisław (London ; Orlando ; San Diego : Academic Press, 1985)