Prolog & Expert Systems Programming by Kenneth A. Bowen | Menrva Books