[comp.lang.prolog] Wanted: Info/Experiences w/ A.D.A. Prolog

burd@ariel.unm.edu (Stephen Burd ASM) (04/25/88)

I'm looking for a Prolog for my Compaq 386 machine running SCO
XENIX.  I'm considering A.D.A. Prolog as it has several features
that I need and the price seems reasonable.

Does anyone out there in netland have any experience with A.D.A.
in general or their Prolog in particular.  I'm particularly
concerned with service, support, and bugs.  I'm also concerned
with the ability of the Prolog to support interfaces to external
routines.  I've read the blurb that they sent me but I'm
unimpressed by their description of the interface capability.  It
seems to be rather difficult to use/implement as well as a 
potential source of bugs.

Any responses via news, Email, or U.S. mail would be appreciated.
Also, any pointers to other possible Prologs for the XENIX/386
environment would be welcome (as well as your experiences with them).
Thanks in advance.

 
FROM:      Stephen D. Burd
USNAIL:    Anderson Schools of Management
           University of New Mexico
           Albuquerque, NM  87131

AT&T:      (505)-277-6418

UUCP:      {lanl,ucbvax!unmvax,gatech!unmvax,...}!unmc!burd
INTERNET:  burd@unma.unm.edu

keithw@lehi3b15.UUCP (Keith Werkman) (04/29/88)

I have used ADA Prolog extensively on my PC in the past for my masters
thesis.  My experiences are with ADA Prolog VML 1.80.  By now I am
sure it is up to 2.x and probably has a nice environment.  Its
creator, Mr. Robert Morein was headed that way.  It is interpreted
(the version I use) so speed is not super great, but compatibility
with Edin. Prolog is high.

For the price, you really can't go wrong.  My masters research
included a planning system written in about 20 pages of Prolog and it
all ran fairly nicely on my XT in ADA Prolog.

Their address as of the last time I knew it was:
	Automata Design Associates
	1570 Arran Way
	Dresher, PA 19025
	(215)646-4894
	ATTN: Mr. Robert Morein

--Keith W.

-- 
==Keith Werkman, CSEE, Lehigh U., Packard Lab #19, Bethlehem, PA 18015==
==NETS:	UUCP:           ihnp4!lehi3b15{!scarecrow}!keithw     ==
	BITNET:         kjw1@lehigh.BITNET
	INTERNET:       ukjwerk@vax1.cc.lehigh.edu