An environment model for the integration of logic and functional programming

Authors:
Pierre E. Bonzon
Affiliations:
University of Lausanne, HEC, Lausanne, Switzerland
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Year:
1987

Citing 3
Cited 0

Logic programming: functions, relations, and equations

Logic programming: functions, relations, and equations
Structure and interpretation of computer programs

Structure and interpretation of computer programs
Logic Continuations

Proceedings of the Third International Conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a environment model for the evaluation of both function and relation applications; as an illustration, simple extensions of Scheme are introduced, together with their interpreter.