Text this: Computational Logic: Logic Programming and Beyond