Une introduction à Prolog III. (French) Zbl 0679.68045

In order to circumvent some of the inconveniences that turn up when Prolog is used in domains it was originally not conceived for, the author proposes to integrate the following features into the unification mechanism: refined processing of trees and lists, complete processing of propositional calculus, and number processing. The notion of unification itself should then be replaced by the more appropriate concept of constraint resolution. Various examples are presented in detail; applications in operations research and expert systems are conjectured.
Reviewer: M.Armbrust


68N99 Theory of software
68T99 Artificial intelligence