Improving the execution speed of compiled Prolog with modes, clause selection, and determinism

• Bruynooghe M., Is logic programming real programming, in Proc. AIMSA86, eds. Ph. Jourrand, V. Sgurev, Varna, sept. 1986, North Holland, in print

  Google Scholar 

• Bruynooghe M., Weemeeuw P., Towards more efficiency of Prolog on conventional hardware, Report CW 45, Dept. of Computer Science, K.U.Leuven.

  Google Scholar 

• Bruynooghe M., Demoen B., Callebaut A. and Janssens G., Abstract interpretation at work, Draft report, Dept. of Computer Science, K.U.Leuven.

  Google Scholar 

• 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.

  Google Scholar 

• 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.

  Google Scholar 

• Demoen, B., BIM-Prolog Manual, BIM, Kwikstraat 4, B-3078 Everberg Belgium, 1986.

  Google Scholar 

• Dobry, T. et al, Performance Studies of a Prolog Machine Architecture, Proc. 12th Int. Symp. Comp. Arch., June 1985.

  Google Scholar 

• Mellish, C.S., The Automatic Generation of Mode Declarations for Prolog Programs, Research Report 163, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1981.

  Google Scholar 

• Mellish, C.S., Some Global Optimizations for a Prolog compiler, J. Logic Programming, pp. 43–66, Vol. 1, 1985.

  Google Scholar 

• 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.

  Google Scholar 

• Van Roy, P., A Prolog Compiler for the PLM, Report No. UCB/CSD 84/203, Univ. of California, Berkeley, Nov. 1984.

  Google Scholar 

• 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.

  Google Scholar 

• 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.

  Google Scholar 

• 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.

  Google Scholar 

• Warren, D.H.D., An Abstract Prolog Instruction Set, AI Center, SRI International, Menlo Park CA 94025, 1983.

  Google Scholar 

Download references