Logic Programming door S. Debray