Book

Logic Programming

by Tony Dodd, Richard Owens