Partial Evaluation (Summary)

Appeared in Volume 6/3, August 1993

Keywords: partial evaluation.

goldman@src.honeywell.com
Robert Goldman
2nd April 1993

Thanks to all of those who responded to my request for information. There seem to be two readily available Prolog partial evaluation programs:

1. ProMIX - public domain, available from the Center for Advanced Computer Studies in Lafayette, LA. FTP:
ftp://basin.cacs.usl.edu/pub/uslstuff/srl/promix-tar.Z

The ProMix package is described in greater detail in an article by its creator, Arun Lakhotia, in the MIT Press anthology "The Practice of Prolog," edited by Leon Sterling.

2. Mixtus - not public domain. Contact Dan Sahlin, dan@sics.se, for details.