Une introduction à Prolog III. (French) Zbl 0679.68045

Colmerauer, Alain

Ann. Télécommun. 44, No. 5-6, 229-241 (1989).

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

MSC:

68N99	Theory of software
68T99	Artificial intelligence

Keywords:

programming language; Prolog; unification; constraint resolution