Book

Logic Programming

by Krzysztof Apt