From logic programming to prolog#Krzysztof Apt. - APT, Krzysztof (Prentice Hall)