Book

Logic programming languages

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