# Logic and functional programming by retractions : operational semantics

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1988)

- Volume: 22, Issue: 4, page 395-436
- ISSN: 0988-3754

## Access Full Article

top## How to cite

topBellia, M.. "Logic and functional programming by retractions : operational semantics." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 22.4 (1988): 395-436. <http://eudml.org/doc/92314>.

@article{Bellia1988,

author = {Bellia, M.},

journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},

keywords = {logic programming; functional programming; retraction; Herbrandt universe; operational semantics; unification; reduction rules},

language = {eng},

number = {4},

pages = {395-436},

publisher = {EDP-Sciences},

title = {Logic and functional programming by retractions : operational semantics},

url = {http://eudml.org/doc/92314},

volume = {22},

year = {1988},

}

TY - JOUR

AU - Bellia, M.

TI - Logic and functional programming by retractions : operational semantics

JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

PY - 1988

PB - EDP-Sciences

VL - 22

IS - 4

SP - 395

EP - 436

LA - eng

KW - logic programming; functional programming; retraction; Herbrandt universe; operational semantics; unification; reduction rules

UR - http://eudml.org/doc/92314

ER -

## References

top- [Apt82] K. R. APT and M. H. VAN EMDEM, Contribution to the Theory of Logic Programming, J. ACM, Vol. 29, 1982, pp. 841-862. Zbl0483.68004MR666781
- [Bellia88] M. BELLIA, E. DAMERL, P. DEGANO, G. LEVI and M. MARTELLI, A Formal Model for Lazy Implementation of a PROLOG Compatible Functional Language. In Implementations of PROLOG, J. A.CAMPBELL Ed., Ellis Horwood, 1984, pp. 309-326.
- [Bellia88] M. BELLIA, Logic and Functional Programming by Retractions, RAIRO Inf. Théorique et Applications, Vol. 22, 1988, pp. Zbl0666.68011MR963593
- [Berklin75] K. BERKLING, Reduction Languages for Reduction Machines, Proc. 2nd Int. Symp. on Computer Architectures, IEEE Comp. Society Press, 1975, pp. 133-140.
- [Berkling82] K. BERKLING, J. A. ROBINSON and E. E. SIBERT, A Proposal for a Fifth Generation Logic and Functional Programming System, based on Highly Parallel Reduction Machine Architecture, Syracuse University, November 1982.
- [Berkling85] K. BERKLING, Epsilon-reduction : Another view of Unification, CASE Center, Syracuse University, 1985.
- [Dershowitz82] N. DERSHOWITZ, Ordering for Term-rewriting Systems, Theoretical Computer Science, Vol. 17, 1982. pp. 279-301. Zbl0525.68054MR648438
- [Friedman76] D. FRIEDMAN and D. WISE, CONS Should not Evaluate its Arguments. In Automata, Languages and Programming P, S. MICHELSON Ed., Edinburgh Univ. Press, 1977, pp. 256-284. Zbl0461.68023
- [Henderson76] P. HENDERSON and J. H. MORRIS, A Lazy Evaluator, Proc. Third ACM Symp. on Principles of Programming Languages, 1976, pp. 95-103.
- [Henderson80] P. HENDERSON, Functional Programming, Application and Implementation, Prentice-Hall, Englewood Cliffs, N.J., 1980. Zbl0426.68059
- [Huet80] G. HUET and D. C. OPPEN, Equations and Rewrite Rules. A survey. INRIA Tech, Report 15, also as SRI Rep. STAN-CS-8O-785, january 1980.
- [Kowalski74] R. A. KOWALSKI, Predicate Logic as a Programming Language, Proc. IFIP Congress, 1974, pp. 569-574. Zbl0297.68006MR428765
- [Martelli82] A. MARTELLI and U. MONTANARI, An Efficient Unification Algorithm, ACM TOPLAS, Vol. 4, 1982, pp. 258-282. Zbl0478.68093
- [O'Donnell77] M. J. O'DONNELL, Computing in System Described by Equations, LNCS 50, Springer-Verlag, Berlin, 1977. Zbl0421.68038MR483644
- [Paterson78] M. S. PATERSON and M. N. WEGMAN, Linear Unification, J. Comp. System Science, Vol. 16, 1978, pp. 158-167. Zbl0371.68013MR483794
- [Stoy77] J. E. STOY, Denotational Semantics, The Scott-Strachey Approach to Programming Languages, MIT Press, Cambridge, 1977. Zbl0503.68059MR488969
- [Treleaven82] P. C. TRELEAVEN, Computer Architecture for Functional Programming, In Functional Programming and its Applications, J. Darlington. P. HENDERSON and D. A. TURNER Eds., Cambridge Univ. Press, 1982, pp. 281-306.

## Citations in EuDML Documents

top## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.