Book

From logic programming to Prolog

by Krzysztof R. Apt