🚀 go-pugleaf

> how do I choose between them?

PDC Prolog (formerly Turbo Prolog) is not Prolog; it is a different
Prolog-like language, with strong typing rather than Prolog's typeless
approach to variables.

Prolog implementations are reviewed in magazines such as _AI Expert_.
I like ALS and Arity; there are other good ones.

Also, you can get a Prolog interpreter free by anonymous FTP from aisun1.
ai.uga.edu.  Download the file eslpdpro.zip (be sure to use a BINARY transfer).

-- 
+ Michael Covington - Artificial Intelligence Programs - U of Georgia - USA 
+ Unless otherwise noted, these are private opinions, not official statements.

> Are there any other Prolog implementations I should be looking at?
> If so, I would appreciate the name and phone number.

Here's everything I know about:

   AAIS Prolog is an Edinburgh-standard compiler and interpreter runs on
   the Apple Macintosh and costs $298. Write to Advanced AI Systems,
   Inc., PO Box 39-0360, Mountain View, CA 94039-0360, call 415-948-8658,
   or fax 415-948-2486.

   ALS Prolog runs on 80386 machines, including DOS ($799), Sun 386i, Xenix,
   Apple Macintosh ($499) and System V Unix (Microport). It is available from
   Applied Logic Systems, Inc., PO Box 90, University Station, Syracuse,
   NY 13210-0090, phone 315-471-3900, fax 315-471-2606.

   Arity Prolog runs on DOS ($650), OS/2 ($1k), Windows (extra $350),
   OS/2 V.2, and Windows-NT. For more information, write to Arity
   Corporation, Damonmill Square, Concord, MA 01742, call 800-722-7489
   (508-371-1243), or fax 508-371-1487. 

   BIM Prolog includes Carmen, a user-interface generator for XView and
   SunView. It runs on Sparcs and RS/6000 and costs $9k. For more
   information, contact BIM Systems, Inc., 11111 Santa Monica Boulevard,
   Suite 650, Los Angeles, CA 90025, call 310-445-1500, fax 310-445-1515,
   or email prolog@sunbim.be (Kathleen Pierco).

   Cogent Prolog is an Edinburgh-standard compiler and interpreter for
   DOS-based PCs. Includes a foreign function interface. It costs $199.
   For more information, write Amziod, 40 Samuel Prescott Drive, Stow, MA
   01775, call 508-897-5560 or fax 508-897-7332. Amziod also sells the
   Active Prolog Tutor for DOS for $65.

   Delphia Prolog is an Edinburgh-standard compiler and interpreter that
   runs on Sun3, Sparc, RS/6000, Apollo, HP9000, SCO Unix, DecStation,
   Sony NEWS, and VAX VMS for $10k. Write to Delphia, 27 Avenue de la
   Republique, 38170 Seyssinet, France, call 33-76-26-68-94 or fax
   33-76-26-52-27. 

   IF/Prolog is a prolog interpreter and compiler with X-window debugger,
   bidirectional C interface, on-line manual, and X-window and Motif
   interfaces. It runs on  Aviion 300, DGMV15000 M8, Macintosh (A/UX),
   microVAX 2000, HP9000, Sparc and IBM RS/6000, Decstation 3100, Sequent
   S16, Silicon Graphics 4D/210S, and DOS-based 386 PCs. It's a bit pricey. 
   For more information, write to InterFace Computer, Inc., 1705 Capital of
   Texas Highway South, Suite 200, Austin, TX 78746, call 512-327-5344, 
   or fax 512-327-5176..

   LPA Prolog is a prolog compiler for DOS-based PCs and Apple Macintosh.
   LPA Prolog ++ is an object-oriented programming system based on
   Prolog. Write to Logic Programming Associates, Ltd., Studio 4 RVPB,
   Trinity Road, London SW18 3SX, England, call 81-871-2016, fax 81-874-0449,
   or email lpa@cix.compulink.co.uk.
   
   Paralogic is a parallel implementation of the Clocksin and Mellish
   Prolog. It runs on DOS-based PCs with the INMOS Transputers. For more
   information, write to Paralogic Inc., 115 Research Drive, Bethlehem,
   PA 18015, call 215-861-6960, or fax 215-861-8247. It is also
   distributed by Computer Systems Architects, 905 N. University Avenue,
   Provo, UT 84604-3422, 800-753-4272 (801-374-2300), fax 801-374-2306.

   PDC Prolog runs on DOS, OS/2 and SCO Unix. Formerly known as Turbo
   Prolog. For more information, write Prolog Development Center, 568
   14th Street, Atlanta, GA 30318, call 800-762-2710, (404-873-1366), fax
   404-872-5243 or email pdc-request@pdc.dk (general information),
   sales@pdc.dk (sales), support@pdc.dk (tech support).

   Prolog III integrates constraint programming with Prolog. It runs on
   Apple Macintosh, DOS, Next, Sun3, Sparc, HP9000, Apollo, RS/6000,
   DecStation and MicroVAX. For more information, write to PrologIA, Parc
   Technologique de Luminy, Case 919, 13288 Marseilles, France, call
   33-91-26-86-36 or fax 33-91-41-96-37.

   Quintus Prolog runs on Unix (Sparc, sun3, Vax, HP9000, Apollo, VAX,
   Intergraph, Solbourne, RS/6000, and MIPS), DOS, Windows, and
   Macintosh. For more information, contact Quintus Corporation, 2100
   Geng Road, Palo Alto, CA 94303, call 415-813-3800, fax 415-494-7608, 
   or email sales@quintus.com (sales), teksup@quintus.com (tech support).
   To be added to the users group mailing list, send mail to
   quintus-users-request@quintus.com. 

--mark

You missed Prolog2, which runs under Msdos, VMS, Unix on a number of
platforms including Sun and HP 9000/300 series, and MS windows 3.1 in
enhanced mode (ie requires 386 or better). Edinburgh standard prolog with a
number of extensions. The windows version includes BIPs for programming
windows graphics and dialogues.  Information from Nick Henfrey, Expert
Systems Ltd, The Magdalen Centre, Oxford Science Park, Oxford OX4 4GA,
England.  Tel: +44-865-784474

A cut down, public domain version of the msdos interpreter can be ftp'ed
from aisun1.ai.uga.edu


Cheers,
Ian.

|Ian Dickinson    HP Labs Bristol (Knowledge Based Programming Dept)   England|
|Email: ijd@hplb.hpl.hp.com    | Enough if something from our hands have power|
|   These opinions are mine,   | To live and act and serve the future hour    |
|  and not (necessarily) HP's  |                                 - Wordsworth |

In article <1992Sep9.225015.2580@dvorak.amd.com> rajiv@dvorak.amd.com (Rajiv Malhotra) writes:

   I will begin programming in Prolog; I have never done it before.
   While looking around for a commercial compiler/interpreter I came across
   two:

   1. Airty Prolog Compiler/Interpreter
   2. PDC Prolog 

   I know nothing about them. How do I choose between the two? First, I
   will be learning the language, so I would like something that is
   easy to use. Second, as my level of sophistication grows, I would 
   like the tool to be "full featured" enough to accomodate my needs.

among these two and many other alternatives, we have used only Arity
Prolog but fairly extensively. we used it on NEC/PC-9801(i286/386 PC
ubiquitous in japan but, i guess, rarely seen outside) and it is
satisfactory in its functionality and in its quality. because PC-9801
version should be developed from ibm-pc version, we expect the
original one should be even better. we plan to try it.

it is very close to standard Prolog in textbooks. the interpreter
allows quick run-debug-rerun cycle and thus very handy to use. 
programs so developed can be converted to compiler version basically
as it is, except for the fact that we must add some header part to
indicate program entry point, pick up many predicates and declare each
of them *visible*, *external, etc. it is however worthwhile, because
it makes the same program run, say, fifty percent faster and also
executable directly from dos.

even interpreter runs fairly first. in one time, we tried coding of
the graph search algorithm in the 1st chaper of S.C.Shapiro's
textbook, "techniques of artifical intelligence". in finding the
shortest route from Baffalo to Norwalk, our prolog program was faster
than that written in original LISP and run on a main frame machin!

Arity/Prolog is equipped with other features such as virtual memory,
C-interface, etc. with these, we tend to think that prolog is not
necessarily the language for the LOGIC, but simply another kind of
programming language to let computer do what we want.

how we used this Arity/Prolog may be seen in an object-oriented
database program, MOOD/P3. as we have anounced this May, it is
ftp-able from:

	pub/mood 
at
	mood.mech.tohoku.ac.jp (130.34.88.61)
--

Noboru Ono                                             * $@>.Ln(J $@M[(J
Dept. of Machine Intelligence and Systems Engineering, * $@5!3#CNG=9)3X2J(J
Faculty of Engineering, Tohoku University.             * $@ElKLBg3X(J$@9)3XIt(J
Tel:++22-222-1800, Fax:++22-268-3688, E-mail:ono@mood.mech.tohoku.ac.jp