Performance and evaluation of LISP systems
Performance and evaluation of LISP systems
Memory components handbook, 1988
Memory components handbook, 1988
Architecture of the Symbolics 3600
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Design of a LISP-based microprocessor
Communications of the ACM
M3L: A list-directed architecture
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Hi-index | 0.00 |
With the current intense interest in new computing paradigms based on logic, the efficient implementation of Prolog has become an issue of prime importance. Compiling Prolog involves some unique and difficult problems relating to storage management: in particular, the somewhat conflicting requirements of backtracking, and cut and tail recursion processing. The usual solution is to use garbage collection, an expensive process in small computers with limited storage. We describe a Prolog compiler which maintains the heap as lists of free records, to which records are released at the time they are deallocated, thus avoiding garbage collection. In this compiler, variable bindings are recorded in such a way that the speed of unification does not depend on the length of chains of bound variables. Also, tail recursion optimisation is more thorough than in other implementations.