Logic Programming - Hill, Patricia M.; Kanade, Takeo; Warren, David S.; Kittler, Josef (Springer Berlin Heidelberg, 2009)