Objective This Action aimed to develop the foundations of an integrated logic-based software environment for developing knowledge-rich applications. Such an environment should include a language suitable for databases, programming and problem-solving together with logic-based tools for incremental development (including integrity checking and program transformation), as well as for assembling new knowledge bases from existing ones.A range of logic based computer languages and associated development tools were developed. The lanuages extend logic programming by incorporating features from computer algebra, deductive databases, artificial intelligence and mathematical logic. The development tools include integrity checking, belief revision, metaprogramming, and program transformation.Progress has been made in the following areas:language extensions (several numerical problems previously unsolved by computer algebra techniques alone have been solved by Prolog III, and several previously open complexity problems have been solved for structured typed languages);knowledge assimilation (previously disconnected methods for view updates, belief revision, default reasoning and abduction have been shown to be closely connected and logic programs have been extended to include both explicit and implicit negation);metalevel reasoning (the first steps have been taken to clarify the semantics of different ways of combining object languages and metalanguages in logic programming and a programming language, Goedel, with declarative metaprogramming facilities has been defined);program development, analysis and transformation (connections have been found between program transformation methods using specialisation of metainterpreters, compiling control, and proofs as programs).A number of new research opportunities have also been identified involving the possiblity of developing object oriented deductive databases using the work on structured types. Links between theory construction techniques and the transformation of rules and exceptions into ordinary logic programs have been identified, as well as links between inductive proof methods used in proof plans and the methods used in program transformation and in program derivation by integrity checking.APPROACH AND METHODS To improve knowledge representation and problem-solving power, a number of extensions of logic programming were developed. These include the use of constraints, structured types, hypothetical reasoning, and meta-level reasoning. The techniques of knowledge assimilation, meta-level reasoning and of program analysis and transformation are being advanced to improve the development and maintenance of programs, databases, and knowledge represented as extended logic programs. PROGRESS AND RESULTS Progress has been made in the following areas: -Language extensions: several numerical problems previously unsolved by computer algebra techniques alone have been solved by Prolog III, and several previously open complexity problems have been solved for structured typed languages. -Knowledge assimilation: previously disconnected methods for view updates, belief revision, default reasoning and abduction have been shown to be closely connected. Logic programs have been extended to include both explicit and implicit negation. -Meta-level reasoning: the first steps have been taken to clarify the semantics of different ways of combining object languages and metalanguages in logic programming. A programming language, Gdel, with declarative metaprogramming facilities has been defined. -Program development, analysis and transformation: connections have been found between program transformation methods using specialisation of meta-interpreters, compiling control, and proofs as programs. A number of new research opportunities have also been identified. For example, the possibility of developing object-oriented deductive databases using the work on structured types is being investigated. Links between theory construction techniques and the transformation of rules and exceptions into ordinary logic programs have been identified, as well as links between inductive proof methods used in proof plans and the methods used in program transformation and in program derivation by integrity checking. POTENTIAL COMPULOG is extending the logic programming paradigm using enhancements from computer algebra, database systems, artificial intelligence and mathematical logic. The outcome of the Action will lead to the development of an improved computer language combining programs, databases and knowledge representation. Plans have begun to integrate a number of different techniques within a unified framework, based upon a prototype of the Gdel language. Fields of science natural sciencescomputer and information sciencessoftwarenatural sciencescomputer and information sciencesdatabasesnatural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencescomputer and information sciencesknowledge engineeringnatural sciencesmathematicspure mathematicsalgebra Programme(s) FP2-ESPRIT 2 - European strategic programme (EEC) for research and development in information technologies (ESPRIT), 1987-1992 Topic(s) Data not available Call for proposal Data not available Funding Scheme Data not available Coordinator IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE EU contribution No data Address Queens Gate 180 SW7 2BZ LONDON United Kingdom See on map Total cost No data Participants (14) Sort alphabetically Sort by EU Contribution Expand all Collapse all ADER France EU contribution No data Address 118 rue Edmond Rostand 13006 Marseille See on map Total cost No data EUROPEAN COMPUTER IRC Germany EU contribution No data Address ARABELLASTRAßE 17 81925 München See on map Total cost No data KATHOLIEKE UNIVERSITEIT LEUVEN Belgium EU contribution No data Address CELESTIJNENLAAN, 200D 3030 HEVERLEE See on map Total cost No data RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN (RWTH) Germany EU contribution No data Address ROLANDSTRAßE 7-9 52070 AACHEN See on map Total cost No data TECHNISCHE UNIVERSITAET KAISERSLAUTERN Germany EU contribution No data Address Erwin Schroedinger Strasse 46 67663 KAISERSLAUTERN See on map Total cost No data UNIVERSIDAD NOVA DE LISBOA Portugal EU contribution No data Address QUINTA DA TORRE 2825 MONTE DA CAPARICA See on map Total cost No data UNIVERSITY OF EDINBURGH United Kingdom EU contribution No data Address OLD COLLEGE, SOUTH BRIDGE EH8 9YL EDINBURGH See on map Total cost No data UNIVERSITÄT PASSAU Germany EU contribution No data Address INNSTRAßE 33 94032 PASSAU See on map Total cost No data UNIVERSITÄT TÜBINGEN Germany EU contribution No data Address AUF DER MORGENSTELLE 10C9 72076 TÜBINGEN See on map Total cost No data University of Bristol United Kingdom EU contribution No data Address Tyndall Avenue BS8 1TH Bristol See on map Total cost No data University of Uppsala Sweden EU contribution No data Address 75121 Uppsala See on map Total cost No data Università degli Studi di Pisa Italy EU contribution No data Address Lungarno Pacinotti 43 56100 Pisa See on map Total cost No data Università degli Studi di Roma 'La Sapienza' Italy EU contribution No data Address Via Eudossiana 18 00184 Roma See on map Total cost No data Université d'Aix-Marseille II France EU contribution No data Address ROUTE LEON LACHAMP LUMINY 13288 MARSEILLE See on map Total cost No data