Objective The objective of this project was to design and implement a new Prolog, PROLOG III. The new language was to be designed to integrate reasoning mechanisms and numeric processes and to be based on the efficient integration of constraint resolution. It was to include the possibility of adding inequalities and arbitrary propositional well-formed formulae as constraints. The project intended to demonstrate the usefulness of PROLOG III for the construction of knowledge-based systems in technical areas, in particular in the diagnosis of faults in car injection systems, and to show the deduction of knowledge from an analysisof functional and structural designs. The objective of this project was to design and implement a new Prolog, PROLOG III. The new language was designed to integrate reasoning mechanisms and numeric processes and was based on the efficient integration of constraint resolution. It included the possibility of adding inequalities and arbitrary propositional formulae as constraints. Design, implementation and testing of a new algorithm were carried out to verify the degree of satisfaction of arbitrary well formed formulae in propositional logic. This algorithm exhibits satisfactory performance in a class of practical cases. A sufficiently general subset of arithmetic operators to be allowed in the inequalities appearing as constraints in PROLOG III clauses was chosen, in such a way that the solution of sets of such inequalities would be computationally efficient. Algorithms to solve inequalities were designed, complemented and tested. The first implementation of PROLOG III was revised and debugged, and new optimized simplification algorithms and floating point arithmetic implemented. A simple expert system was constructed using an expert system shell. The strategies for diagnosis and repair used by human specialists and their classification of knowledge were studied. Specification and implementation of a comprehensive expert system demonstrator, PROMOTEX II, which models components, entirely based on PROLOG III, was achieved and demonstrated. Characteristic curves of some component parts of the automobile have been studied and modelled in PROLOG III.On the language side, the following results were obtained: -Design, implementation and testing of a new algorithm to verify the degree of satisfaction of arbitrary well-formed formulae in propositional logic. This algorithm exhibits satisfactory performance in a class of practical cases. -Choice of a sufficiently general subset of arithmetic operators to be allowed in the inequalities appearing as constraints in PROLOG III clauses. This subset was chosen in a way that the solution of sets of such inequalities would be computationally eff icient. -Design, implementation, and test of algorithms to solve inequalities. -The first implementation of PROLOG III was revised and debugged, and new optimised simplification algorithms and floating point arithmetic implemented. On the application side, the following results were achieved: -Construction of a simple expert system using an expert system shell developed by one of the partners before the start of the project. -Study of the strategies for diagnosis and repair used by human specialists and their classification of knowledge. -Specification and full implementation of a pilot expert system. -Specification and implementation of a comprehensive expert system demonstrator, PROMOTEX II, which models components, entirely based on PROLOG III, was achieved and demonstrated. Characteristic curves of some component parts of the automobile have beenstudied and modelled in PROLOG III. Exploitation The expert system, PROMOTEX II, is being exploited by the industrial partners. Daimler-Benz and R. Bosch plan to internally exploit CLP techniques for diagnosis and test, and for CAD of components and of complex systems. Prologia has launched the first version of PROLOG III (October 1989) and is exploiting PROLOG III for specific applications development. Results of the project have been incorporated in ESPRIT II project 5246 (PRINCE). Fields of science natural sciencesmathematicspure mathematicsarithmeticsnatural sciencescomputer and information sciencesartificial intelligenceexpert systems Programme(s) FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988 Topic(s) Data not available Call for proposal Data not available Funding Scheme Data not available Coordinator Prologia SARL EU contribution No data Address 70 route Léon Lachamp Parc Technologique de Luminy 13288 Marseille France See on map Total cost No data Participants (4) Sort alphabetically Sort by EU Contribution Expand all Collapse all Daimler-Benz AG Germany EU contribution No data Address Epplestraße 225 70567 Stuttgart See on map Total cost No data GESELLSCHAFT FÜR INGENIEURTECHNIKEN Germany EU contribution No data Address LINDENALLEE 4300 ESSEN See on map Total cost No data ROBERT BOSCH GMBH Germany EU contribution No data Address ROBERT-BOSCH-PLATZ 7016 GERLINGEN See on map Total cost No data Université d'Aix-Marseille III (Université de Droit d'Économie et des Sciences) France EU contribution No data Address 70 route Léon Lachamp 13288 Marseille See on map Total cost No data