Book

Logic Programming

by Tony Dodd, Richard Owens, Steve Torrance