Review of Computing with Logic: Logic Programming with Prolog