🚀 go-pugleaf

Kind Reader,

we have implemented a compiler which translates term rewriting systems 
into C. In order to get insight into the efficiency of the generated code
we are creating a suite of benchmarks in several related languages, such
as prolog. For this purpose we need a fast implementation of prolog, 
preferably public domain, and somewhat widely used. From a limited test,
we established that SBProlog is not suitable; it ran more than three
times as slow as Quitus (on that example). Quintus is no longer accessible 
to us. Our questions are:

	- Who knows a faster ftp-able public domain prolog implementation
	- Is there a commercial prolog available to us for this purpose 
	  (preferable here at cwi)

In gratitude,

Pum Walters and Jasper Kamperman