![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Appeared in Volume 6/3, August 1993
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.
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |