Multiparadigm logic programming

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

Abstract

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
PublisherSpringer-Verlag Berlin Heidelberg
Pages158-200
Number of pages43
ISBN (Print)9783540558736
DOIs
StatePublished - Jan 1 1992
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

Other

Other3rd International Conference on Algebraic and Logic Programming, 1992
CountryItaly
CityVolterra
Period9/2/929/4/92

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

  • Cite this

    Meseguer, J. (1992). Multiparadigm logic programming. In H. Kirchner, & G. Levi (Eds.), Algebraic and Logic Programming - 3rd International Conference, Proceedings (pp. 158-200). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 632 LNCS). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/bfb0013826