Abstract
This paper describes work in progress on the development of a direct execution Prolog processor.
- Bowen et al. 1982 Bowen, D.L., Byrd, L., Pereira, F.C.N., Pereira, L.M. and Warren, D.H.D. "DECsystem-10 Prolog User's Manual", Occasional Paper 27, Department of Artificial Intelligence, University of Edinburgh, 1982.Google Scholar
- Brady 1988 Brady, M. "Oh! Prolog - An interpreter for Prolog" Proceedings of AI/CS '88, Department of Computer Science, University College Dublin Ireland, 1988.Google Scholar
- Bruynooghe 1982 Bruynooghe. M. "The Memory Management of Prolog Implementations" Logic Programming (eds. Clark, K. ~ Tanlund S.-A.). Academic Press, London, 1982.Google Scholar
- Clocksin & Mellish 1981 Clocksin, W.F. and Mellish, C.S. "Programming in Prolog", Springer Verlag, 198 1. Google Scholar
Digital Library
- Gee Melvin & Patt 1986 Gee. J., Melvin, SW. and Patt. Y.N. "The Implementation of Prolog via VAX 8600 Microcode" Proceedings of the 19th Annual Workshop on Microprogramming (Micro 19). IEEE Computer Society Press. 1986. Google Scholar
Digital Library
- Gee Melvin & Patt 1987 Gee, J., Melvin, S.W. and Patt, Y.N. "Advantages of Implementing Prolog by Microprogramming a Host General Purpose Machine" Logic Programming - Proceedings of the Fourth International Conference in Melbourne (ed J.-L. Lassez) , MIT Press, 1987.Google Scholar
- Hermenegildo 1986 Hermenegildo, M.V. "An Abstract Machine for Restricted AND-Parallel execution of Logic Programs" Proceedings of Third International Conference on Logic Progr amming (ed. E. Shapiro), Springer Verlag, 1986. Google Scholar
Digital Library
- Mellish 1984 Mellish. C.S. "An alternative to structure sharing in the implementation of a Prolog interpreter" Logic Programming (eds. Clark, K. ~ Tlirnlund S.-A.), Academic Press, London, 1982.Google Scholar
- Milutinovic 1989 Milutinovic. V.M. (ed) "High Level Language Computer Architecture", ISBN O-88175-1324, Computer Science Press, 1989. Google Scholar
Digital Library
- Warren 1977 Warren, D.H.D. "Implementing Prolog -- Compiling Predicate Logic Programs", Research Reports 39 ~ 40, Department of Artificial Intelligence, University of Edinburgh, 1977.Google Scholar
- Warren 1983 Warren, D.H.D. "An Abstract Prolog Instruction Set", Technical Note 309. Artificial Intelligence Center, SRI International, Menlo Park CA, 1983.Google Scholar
Index Terms
A direct execution architecture for Prolog?
Recommendations
Towards a jitting VM for prolog execution
PPDP '10: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programmingMost Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes them hard to write. In addition, many of the more dynamic features of Prolog ...
Direct execution of lisp on a list_directed architecture
We have defined a direct-execution model dedicated to non-numerical processing which is based upon an internal representation of source programs derived from LISP. This model provides good support for both sophisticated editing (syntactical parsing, ...
Direct execution of lisp on a list_directed architecture
ASPLOS I: Proceedings of the first international symposium on Architectural support for programming languages and operating systemsWe have defined a direct-execution model dedicated to non-numerical processing which is based upon an internal representation of source programs derived from LISP. This model provides good support for both sophisticated editing (syntactical parsing, ...






Comments