Can Logic Programming Execute as Fast as Imperative Programming?

Peter Lodewijk Van Roy

Ph.D. Dissertation, Technical Report UCB/CSD 90/600, Computer Science Division, UC Berkeley, December 1990.

Packaged Version

The thesis is available as two PDF files: Thanks to Daniel Dudley for packaging the thesis into these files.

Related Documentation

Original Version

This dissertation was originally available as a series of PostScript and HTML files, which are given below.


Main Text


References and Appendixes

Please send all comments to Peter Van Roy.