From: utzoo!decvax!harpo!floyd!cmcl2!philabs!mcvax!david
Newsgroups: net.unix-wizards
Title: Prolog for 4.1BSD
Article-I.D.: mcvax.1012
Posted: Tue Dec 14 10:35:45 1982
Received: Tue Dec 21 08:19:28 1982

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