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.
The thesis is available as two PDF files:
Thanks to Daniel Dudley for packaging the thesis into these files.
This dissertation was originally available as a series of
PostScript and HTML files, which are given below.
References and Appendixes
Please send all comments to Peter Van Roy.