Text this: From logic programming to prolog#Krzysztof Apt.