Computing With Logic: Logic Programming With Prolog