bts (02/14/83)
Here's some information on Prolog systems in Pascal from Chris Moss
at the University of Pennsylvania. In case you're just starting to
read net.lang.prolog, Randolph Harr at CWRU (harr@cwruecmp) has kept
a list of all Prolog systems mentioned in the newsgroup, and copies
of his list can be had via net-mail from him or from me.
I'm still interested in collecting information on Prolog systems, but
I'd like to hear about applications, too. What are you using Prolog
for and why? If you have used Prolog in teaching, what results can
you report? Please respond to the newsgroup (unless you're not on
USENET).
Bruce Smith, UNC-CH
duke!unc!bts
bts.unc@udel-relay
From: Chris Moss <Moss@UPenn>
Subject: Prolog Implementations
Date: 12 Feb 1983 23:24-EST
NAME: Pascal Prolog
VERSION: ?
SOURCE: Pascal
FEATURES: Marseilles syntax, very limited set of evaluable predicates
(arithmetic, output, bagof). Tail recursion + some intelligent
backtracking.
AVAILABILITY: For research purposes only
COST: $70 handling charge
STATUS: Probably frozen. Very portable.
CONTACT: Maurice Bruynooghe.
Katolicke Universite de Leuven,
Adfelung Toegepaste Wiskunde en Programmatic,
B-3030 Heverlee, Belgium.
Tel: (32) 16 200656
------------------------------------------------------------------
NAME: York Prolog
VERSION: ?
SOURCE: Pascal
FEATURES: Modelled after Edinburgh PDP-11 version.
AVAILABILITY: To educational, research etc.
COST: 100 pounds sterling.
STATUS: Available now
CONTACT: Ian Wand, Dept of Chemistry,
University of York,
York, England.
------------------------------------------------------------------
NAME: VPI Prolog
VERSION: ?
SOURCE/OS: Pascal, VAX with VMS.
FEATURES: Uses list allocation (9 byte cons) and syntax,
double precision reals.
AVAILABILITY: Unrestricted.
COST: $1000
STATUS:
CONTACT: Prof. John Roach,
Dept. of Computer Science, Virginia Polytechnic Institute,
Blocksburg, Va.
(703) 961 5368
-------------------------------------------------------------
Also note: Frank McCabe is no longer distributing IC-Prolog from
Imperial College. He says there are even a couple of syntax errors in
the Pascal, though if you want to get it and make it fly...
It's an experimental system, with plenty of advanced features,
but not designed for practical programming.