Prometheus: An Advanced Logic Based Ai Tool Kit - Broughton, Richard (Intellect Books, 1991)