rusty (06/18/82)
Does anyone know where I can get a Prolog for 4.1bsd unix?
david (12/14/82)
Fernando Pereira's implementation of the logic programming language
Prolog for 4.1BSD is now available. It is closely compatible with the
Edinburgh DEC10/20 PROLOG, and provides floating point operations
(including the C math library), an indexed database system for access-
ing large amounts of data, and debugging facilities based on Lawerence
Byrd's ``box'' model. The system is distributed in source form by:
EdCAAD Studies
Dept. of Architecture
Edinburgh University
20 Chambers St.
Edinburgh EH1 1JZ
Scotland
031-667-1011x4598
Sites that agree not to re-distribute the system are charged UKL 100 to
cover distribution costs; the terms of OEM licences are currently being
defined.
Contact: ..!decvax!mcvax!edcaad!caad24!margrt