Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
7. References
Bruynooghe M., Is logic programming real programming, in Proc. AIMSA86, eds. Ph. Jourrand, V. Sgurev, Varna, sept. 1986, North Holland, in print
Bruynooghe M., Weemeeuw P., Towards more efficiency of Prolog on conventional hardware, Report CW 45, Dept. of Computer Science, K.U.Leuven.
Bruynooghe M., Demoen B., Callebaut A. and Janssens G., Abstract interpretation at work, Draft report, Dept. of Computer Science, K.U.Leuven.
Debray S.K., Warren D.S., Detection and optimization of functional computations in Prolog, Proc. 3th Int. Conf. on Logic Programming., London, july 1986, 490–504.
Debray S.K., Warren D.S., Automatic mode inference for Prolog programs, Proc. 1986 Symposium on Logic Programming, Salt Lake City, sept 1986, 78–88.
Demoen, B., BIM-Prolog Manual, BIM, Kwikstraat 4, B-3078 Everberg Belgium, 1986.
Dobry, T. et al, Performance Studies of a Prolog Machine Architecture, Proc. 12th Int. Symp. Comp. Arch., June 1985.
Mellish, C.S., The Automatic Generation of Mode Declarations for Prolog Programs, Research Report 163, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1981.
Mellish, C.S., Some Global Optimizations for a Prolog compiler, J. Logic Programming, pp. 43–66, Vol. 1, 1985.
Sawamura H., Takeshima T., Recursive unsolvability of determinacy, solvable cases of determinacy and their applications to Prolog optimization, Proc. 1985 Symposium on Logic Programming, Boston, july 1985, 200–207.
Van Roy, P., A Prolog Compiler for the PLM, Report No. UCB/CSD 84/203, Univ. of California, Berkeley, Nov. 1984.
Van Roy, P., Demoen, B., Improving the execution speed of compiled Prolog with modes, clause selection, and determinism. CW Report No. 51, K.U.Leuven, Dept. of Comp. Sc., nov. 1986.
Warren, D.H.D., Applied Logic — Its use and implementation as a programming tool, Ph.D. Thesis, Univ. of Edinburgh, 1977. Reprinted as Technical Note 290, SRI International, 1983.
Warren, D.H.D., An Efficient Easily Adaptable System for Interpreting Natural Language Queries, American Journal of Computational Linguistics, pp. 110–122, Vol. 8, 1982.
Warren, D.H.D., An Abstract Prolog Instruction Set, AI Center, SRI International, Menlo Park CA 94025, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Van Roy, P., Demoen, B., Willems, Y.D. (1987). Improving the execution speed of compiled Prolog with modes, clause selection, and determinism. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds) TAPSOFT '87. TAPSOFT 1987. Lecture Notes in Computer Science, vol 250. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014976
Download citation
DOI: https://doi.org/10.1007/BFb0014976
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17611-4
Online ISBN: 978-3-540-47717-4
eBook Packages: Springer Book Archive