🚀 go-pugleaf

I wish to do some research experiments exploring type systems for Prolog
and I need a relatively small Prolog implementation to work with.  I don't
want a toy system written in an applicative language (or applicative style)
or a serious system (such as Nu_Prolog).  I need a system written in
the same style as serious Prolog interpreters or compilers (prefered), yet
of tractable complexity.  I also need source code preferably in C or some
similar imperative language.

I will not be using the resulting system for any commercial purpose so a
restricted distribution license is quite acceptable.  I should be able to
afford any nominal charge (i.e. to cover distribution costs).  

If anyone has any such system or pointers on where one can be found please
advise me by email.  Credit for the system will of course be acknowledged
if anything publishable emerges out of this work.  If you are also interested
in obtaining such a system please advise me by email and I will respond
personally or to this news group if there is enough interest.

     Alan Finlay