Prometheus: An Advanced Logic-Based AI Toolkit
Prometheus is an advanced programming environment for the development of knowledge-based software. It owes its comparative simplicity, consistency and power to the ideas of logic programming. Prometheus, while using logic as the basis of representation language, offers frames to allow for natural representation of structured domains. The book starts with a general "Representation Language" and the "Development Environment". It ends with a study of how Prometheus and Prolog can be combined for advanced programming projects.