Prometheus : a logic-based AI toolkit / - Paine, Jocelyn. (Ablex Pub. Corp., 1991)