Logic Programming by S. Debray