Abhyankar, R. B. Review of Computing With Logic: Logic Programming With Prolog. AIMag 1988, 9, 83.