论文信息 - Term Description: A Simple Powerful Extension to Prolog Data Structures

Term Description: A Simple Powerful Extension to Prolog Data Structures

Term description is a simple, powerful extension of terras. For example, functional notation and lazy execution of a program is introduced in a very natural manner without changing the basic mechanism of the computation, such as unification and backtracking. Especially, the readability of functional languages is introduced without actually introducing functional concepts.

Hideyuki Nakashima | H. Nakashima

[1] William A. Kornfeld. Equality for Prolog , 1983, IJCAI.

[2] Keith L. Clark,et al. PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..

[3] D. A. Turner. The semantic elegance of applicative languages , 1981, FPCA '81.

[4] Hisao Tamaki,et al. Semantics of a Logic Programming Language with a Reducibility Predicate , 1984, SLP.

[5] Hideyuki Nakashima. Prolog/KR - Language Features , 1982, ICLP.

[6] Kenneth M. Kahn,et al. UNIFORM - A Language Based Upon Unification Which Unifies (much of) LISP, PROLOG, and ACT 1 , 1981, Logic Programming: Functions, Relations, and Equations.