Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Roach et al. (1990) studied this question.