Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!clyde!cbatt!cwruecmp!bammi
From: bammi@cwruecmp.UUCP (Jwahar R. Bammi)
Newsgroups: comp.sys.atari.st
Subject: Prolog for the ST (mini-review)
Message-ID: <1976@cwruecmp.UUCP>
Date: Thu, 19-Mar-87 22:19:30 EST
Article-I.D.: cwruecmp.1976
Posted: Thu Mar 19 22:19:30 1987
Date-Received: Sat, 21-Mar-87 10:07:46 EST
Reply-To: bammi@cwruecmp.UUCP (Jwahar R. Bammi)
Organization: Case Western Reserve University
Lines: 79

Mini review of XPRO ( eXtended PROlog interpreter) for the Atari St's

	Supplier:
		Rational Visions
		7111 W. Indian School Rd. Suite 131
		Phoenix, AZ 85033
		(602) 846-0371

	Cost:
		$39.95	(no typo here !)

	Features:
		o Edinburg Standard Syntax
		o Integrated Emacs like text editor
		o Floating point and Math functions
		o Many Meta Programming Primitives
		o Built in DCG ( grammar rule translator)
		o Full access to Vdi and Aes
		o Most useful Gemdos calls are supported
		o Support for stand alone user written application
		(a standalone run file is provided that can run a
		 data base that has been 'save'ed. you are free
		 to distribute the run only program, free of any
		 licensing and other nonsense).

	First Impressions: (after running likes(john, mary) and the demos)
		You Can't afford not to buy one!!

	Those not interested in more details hit 'j' now ----

Here is a brief and incomplete list of primitives:

	Evaluable primitives:
		Implements most of the primitives found in Dec-10/C-Prolog,
	including the meta-level ones like: name, op, arg, functor =.. etc

	Control primitives:
	 abort, break, halt trace, notrace repeat, true, fail, not,-> etc

	Comparison Primitives:
	= \= < > =< >= == \== =:= =\=

	I/O:
	  see, seeing, tell, telling, told read, write, writeq, get0,
	  get, nl, tab, put, skip, ttyget0, ttyget, ttyput, ttytab,
	  ttynl etc.

	Knowledge Base:
	  assert, asserta, assertz, retract, retractall, clause,
	  listing, finall, forall, consult, reconsult, remove,
	  phrase, save etc.

	Integer Arith:
	  +-/* mod Ones complement, and, or, right/left shift
	  rand, abs, round, max, min, succ

	Real Arith:
 	 +-*/^ mod abs, max, min, sqrt, ln, exp, sin, cos, tan, atan

	Support for random access data structures like arrays (allot primitive)

	Access to arbitrary memory via peek and poke (byte, word, longword)

	i/O primitives that don't require the '.' (readl rdstrg etc)

	Full access to Aes/Vdi and their parameter arrays
	Access to most Gemdos functions (not all).
	Xpro recognizes prn:, aux: and con: file designators.

	I have'nt used it enough to comment further, except to say that
whatever i have tried so far (without reading the manual) works pretty
much as expected, and quite quickly too.

	Obviously i have no connection with rational visions etc.
-- 
usenet: {decvax,cbatt,cbosgd,sun}!cwruecmp!bammi	jwahar r. bammi
csnet:       bammi@case
arpa:        bammi%case@csnet-relay
compuServe:  71515,155