"Computing With Logic: Logic Programming With Prolog" - читать интересную книгу автора (David Maier, David S. Warren)