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
EditorsGiorgio Levi, Helene Kirchner
PublisherSpringer-Verlag
Pages158-200
Number of pages43
ISBN (Print)9783540558736
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

Fingerprint

Logic programming
Logic Programming
Computer programming languages
Programming Languages
Logic
Rewriting Logic
Reactive Systems
Object-oriented
Concurrent
Paradigm

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Meseguer, J. (1992). Multiparadigm logic programming. In G. Levi, & H. Kirchner (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.

Multiparadigm logic programming. / Meseguer, José.

Algebraic and Logic Programming - 3rd International Conference, Proceedings. ed. / Giorgio Levi; Helene Kirchner. Springer-Verlag, 1992. p. 158-200 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 632 LNCS).

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

Meseguer, J 1992, Multiparadigm logic programming. in G Levi & H Kirchner (eds), Algebraic and Logic Programming - 3rd International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 632 LNCS, Springer-Verlag, pp. 158-200, 3rd International Conference on Algebraic and Logic Programming, 1992, Volterra, Italy, 9/2/92.
Meseguer J. Multiparadigm logic programming. In Levi G, Kirchner H, editors, Algebraic and Logic Programming - 3rd International Conference, Proceedings. Springer-Verlag. 1992. p. 158-200. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Meseguer, José. / Multiparadigm logic programming. Algebraic and Logic Programming - 3rd International Conference, Proceedings. editor / Giorgio Levi ; Helene Kirchner. Springer-Verlag, 1992. pp. 158-200 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{30496418c6714d93bd64732f9e66c3df,
title = "Multiparadigm logic programming",
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.",
author = "Jos{\'e} Meseguer",
year = "1992",
month = "1",
day = "1",
language = "English (US)",
isbn = "9783540558736",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "158--200",
editor = "Giorgio Levi and Helene Kirchner",
booktitle = "Algebraic and Logic Programming - 3rd International Conference, Proceedings",

}

TY - GEN

T1 - Multiparadigm logic programming

AU - Meseguer, José

PY - 1992/1/1

Y1 - 1992/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0009948701&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0009948701&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0009948701

SN - 9783540558736

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 158

EP - 200

BT - Algebraic and Logic Programming - 3rd International Conference, Proceedings

A2 - Levi, Giorgio

A2 - Kirchner, Helene

PB - Springer-Verlag

ER -