Multiparadigm logic programming

Research output: Chapter in Book/Report/Conference proceedingConference contribution


A theory of general logics is outlined as a basis for an axiomatic notion of “logic programming language.” It is shown that a wide variety of logical programming languages are instances of the general notion. The problem of designing multiparadigm logic programming languages that overcome the present limitations faced by relational and functional logical languages in dealing with state change and reactive systems is approached by a method based on the use of the axiomatic notion of logic programming language and of mappings between logics to guide the search for a logic in which the desired multiparadigm integration can be attained. Following this method, rewriting logic is proposed as a logic in which the functional, relational, and concurrent object-oriented paradigms can be unified in a simple and rigorous way. Two languages based on this logic, Mande and MaudeLog, are briefly described and illustrated with examples.

Original languageEnglish (US)
Title of host publicationAlgebraic and Logic Programming - 3rd International Conference, Proceedings
EditorsHelene Kirchner, Giorgio Levi
Number of pages43
ISBN (Print)9783540558736
StatePublished - 1992
Externally publishedYes
Event3rd International Conference on Algebraic and Logic Programming, 1992 - Volterra, Italy
Duration: Sep 2 1992Sep 4 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume632 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other3rd International Conference on Algebraic and Logic Programming, 1992

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Multiparadigm logic programming'. Together they form a unique fingerprint.

Cite this