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