[comp.lang.prolog] An Automatic Partial Evaluator for Full Prolog

dan@sics.se (Dan Sahlin) (05/22/91)

My thesis named "An Automatic Partial Evaluator for Full Prolog" is
now available.
Just send me your postal adress, and I will mail you a copy.

Mixtus, the partial evaluator described in the thesis, is also available
for research and educational purposes. Let me know if you are interested,
and I will send you information on how to "ftp" a copy of the system.

	Dan Sahlin
	SICS, Sweden
email: dan@sics.se

	/Dan