Path: utzoo!attcan!uunet!cs.utexas.edu!tut.cis.ohio-state.edu!rutgers!mit-eddie!husc6!bunny!slzr
From: slzr@GTE.COM (Suzanne Sluizer)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog interpreter/compiler on IBM (4MB memory) machines (seek info)
Summary: Look into Arity/Prolog
Message-ID: <6963@bunny.GTE.COM>
Date: 22 May 89 14:03:26 GMT
References: <7535@charlie.OZ>
Reply-To: slzr@bunny.UUCP (Suzanne Sluizer)
Followup-To: comp.lang.prolog
Distribution: comp
Organization: GTE Laboratories, Waltham, MA
Lines: 28

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