Foundations of logic programming
Foundations of logic programming
The art of Prolog: advanced programming techniques
The art of Prolog: advanced programming techniques
Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
Knowledge systems and Prolog: a logical approach to expert systems and natural language processing
Knowledge systems and Prolog: a logical approach to expert systems and natural language processing
Prolog, programming techniques and applications
Prolog, programming techniques and applications
Prolog and natural-language analysis
Prolog and natural-language analysis
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Logic programming and knowledge engineering
Logic programming and knowledge engineering
Computing with logic: logic programming with Prolog
Computing with logic: logic programming with Prolog
Artificial Intelligence and the Design of Expert Systems
Artificial Intelligence and the Design of Expert Systems
An interactive source commenter for Prolog programs
SIGDOC '90 Proceedings of the 8th annual international conference on Systems documentation
| Hi-index | 0.00 |
The current literature on expert systems development in Prolog is replete with sample inference engines. However, the available models tend to be fragmentary and simplistic. Important issues such as how to incorporate arithmetic evaluation into the reasoning Process are often ignored. Therefore, we present and describe a more realistic Prolog expert system inference engine.The inference engine is an enhanced version of a standard model. It includes features and employs techniques that are non-existent in current models. We give special consideration to the relationship that the inference engine bears to the underlying Prolog engine. The role of unification and SLD resolution in the life of a Prolog expert system inference engine is also discussed.