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

  • Peter Van Roy
  • Bart Demoen
  • Yves D. Willems
Session CFLP 2 Language Features And Compilation In Logic Programming

DOI: 10.1007/BFb0014976

Part of the Lecture Notes in Computer Science book series (LNCS, volume 250)
Cite this paper as:
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

Copyright information

© Springer-Verlag 1987

Authors and Affiliations

  • Peter Van Roy
    • 1
  • Bart Demoen
    • 2
  • Yves D. Willems
    • 1
  1. 1.Department ComputerwetenschappenKatholieke Universiteit LeuvenHeverleeBelgium
  2. 2.Computer Science Division, Department of EECSUniversity of California at BerkeleyBerkeley
  3. 3.BIMEverbergBelgium

Personalised recommendations