Book

The Logic programming paradigm

by Krzysztof R. Apt