🚀 go-pugleaf

In article <7535@charlie.OZ> eric@aragorn.OZ (Eric Y.H. Tsui) writes:
>Would anyone know of any Prolog interpreter(s) that can run on an IBM 
>(compatible) (4BM memory) that satisfies the following criteria:
 
>1. High compatibility with DEC-10 Edinburgh format
>2. Handles approximately 2000-5000 predicates (ie. large programs)
>3. Reasonable speed (10-20Klips)

I'm not sure if it satisfies criterion 3 (although I suspect it does),
but look into Arity/Prolog.  You can buy an interpreter for around
$200 (American).  It also has a compiler available.  Last time I checked,
you could get both for under $800 (American).

Arity/Prolog is almost 100% compatible with DEC-10 Prolog.  I know
from personal experience that it handles much more than 2000 predicates.
(Although I haven't counted number of predicates, we have a Prolog
program that is about 100 pages that easily fits into Arity/Prolog on
a 1.5MB IBM PC-compatible.)  And its speed is more than reasonable --
interpreted Arity/Prolog on a PC outruns interpreted C-Prolog on a
Microvax II.

I recommend it (I've been using it for over 3 years now).

-- 
Suzanne Sluizer                CSNET:  slzr%gte.com@RELAY.CS.NET
GTE Laboratories               UUCP:   ...!harvard!bunny!slzr
617-466-2882
"Truth is a pathless land." -- Krishnamurti