[comp.lang.prolog] Efficient Prolog Compiler Needed

ranga@uceng.UC.EDU (Dr. Ranga R. Vemuri) (07/22/90)

I am looking for fast, memory efficient prolog compilers/interpreters
which can be used in large-scale program development.  It should be
able to handle floating point arithmetic efficiently and should have
excellent memory management capabilities. Other facilities (such as
module management, smart editors, etc...) should be an asset.
I would appreciate any suggestions.  

We are currently using several prologs (depending on the context) including
C-Prolog, Sicstus0.6, and SB-Prolog.  We thought that its time to
go for a supported commercial product if any such product is known to
be better than these in the above aspects.

Thanks for the help.


- Ranga.

______________
Dr. Ranga Vemuri                                     ranga@uceng.uc.edu
Laboratory for Digital Design Environments           (513)-556-4784
M.L. 30, Dept. Electrical & Computer Engineering     (513)-556-4769  
University of Cincinnati, Cincinnati, OH 45221, USA