Book

Logic Programming Languages

by Krzysztof R. Apt, J. W. de Bakker