### 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 language | English (US) |
---|---|

Title of host publication | Algebraic and Logic Programming - 3rd International Conference, Proceedings |

Editors | Giorgio Levi, Helene Kirchner |

Publisher | Springer-Verlag |

Pages | 158-200 |

Number of pages | 43 |

ISBN (Print) | 9783540558736 |

State | Published - Jan 1 1992 |

Event | 3rd International Conference on Algebraic and Logic Programming, 1992 - Volterra, Italy Duration: Sep 2 1992 → Sep 4 1992 |

### Publication series

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

Volume | 632 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Other

Other | 3rd International Conference on Algebraic and Logic Programming, 1992 |
---|---|

Country | Italy |

City | Volterra |

Period | 9/2/92 → 9/4/92 |

### Fingerprint

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

### Cite this

*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é.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

}

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 -