Micro-Prolog Programming In Logic - Clark
15