Requirements for an imperative language to host logic programming in a seamless way

Authors:
Giuseppe Callegarin
Affiliations:
Dipartimento di Matematica Applicata ed Informatica, University of Venice, Italy
Venue:
ACM SIGPLAN Notices
Year:
1996

Citing 5
Cited 0

Integrating logic and object-oriented programming

ACM SIGPLAN OOPS Messenger
Operational versus definitional: a perspective on programming paradigms

Computer
The Go¨del programming language

The Go¨del programming language
Multiparadigm Programming in Leda

Multiparadigm Programming in Leda
Object-Oriented Software Construction

Object-Oriented Software Construction

Quantified Score

Hi-index	0.00

Visualization

Abstract

Designing a widely acceptable multiparadigm language is still a challenging task. A critical problem is the choice of the linguistic tools by means of which the programmer can make the different paradigms "communicate" with each other. The framework for integrating logic and commands presented in this paper is simple and can also be a good starting point toward the integration of objects, functions and constraints. This scheme is effective: it has been used for implementing a small but representative educational multiparadigm language.