论文信息 - An Environment Model for the Integration of Logic and Functional Programming - 字舞流文

An Environment Model for the Integration of Logic and Functional Programming

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.

Pierre E. Bonzon

[1] M.N. Sastry,et al. Structure and interpretation of computer programs , 1986, Proceedings of the IEEE.

[2] Ralph Morelli,et al. Book reivew: LOGIC PROGRAMMING: FUNCTIONS, RELATIONS AND EQUATIONS. Edited by Doug DeGroot and Gary Lindstrom (Prentice-Hall) , 1987, SGAR.

[3] Christopher T. Haynes,et al. Logic Continuations , 1986, J. Log. Program..

[4] Doug DeGroot,et al. Logic programming - functions, relations and equations , 1986 .

[5] Ehud Shapiro,et al. Proceedings of the Third International Conference on Logic Programming , 1986, ICLP 1986.

[6] Gerald J. Sussman,et al. Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.

[7] Amitabh Srivastava,et al. An(other) Integration of Logic and Functional Programming , 1985, SLP.