Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!decvax!decwrl!pyramid!hplabs!ucbvax!AC.UK!PGH1%UK.AC.OPEN.ACS.MILTONKEYNES.VAXA
From: PGH1%UK.AC.OPEN.ACS.MILTONKEYNES.VAXA@AC.UK.UUCP
Newsgroups: mod.computers.vax
Subject: (none)
Message-ID: <8609081904.AA08819@ucbvax.Berkeley.EDU>
Date: Mon, 8-Sep-86 15:06:41 EDT
Article-I.D.: ucbvax.8609081904.AA08819
Posted: Mon Sep  8 15:06:41 1986
Date-Received: Tue, 9-Sep-86 01:54:40 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 49
Approved: info-vax@sri-kl.arpa

To: info-vax-request
From: Paul Hare, ACS, Open University, Milton Keynes, MK7 6AA
      PGH1 @ UK.AC.OU.VAXA
      PGH1 @ [+JANET.000041500030.FTP.MAIL]
      PGH1 @ [+PSS.23429080010330.FTP.MAIL]
      Telephone: 0908 - 653684
Subject: PROLOG Implementations for the VAX

  We have three implementations of Prolog on our VAX:-

	1. C Prolog from:

		Fernando Pereira
		EdCAAD
		Dept. of Architecture
		University of Edinburgh
		Scotland

	which is a fairly comprehensive system, comparable with the DEC-10
	implementation; although, there is no compiler support.

	  Only a couple of minor source changes were needed to get the C sources
	to compile under VAX/VMS C.

	2. York Prolog. This is a not-so comprehensive implementation, written
	  in Pascal. It can be obtained from:

		J M Spivey
		University of York
		Department of Computer Science
		Heslington
		York, YO1 5DD
		England

	3. OU Prolog. This is an integrated screen-based teaching Prolog system,
	  written in C specifically for VAX/VMS. It can be obtained from:

		S Doherty
		Educational Software Group
		Academic Computing Service
		Open University
		Milton Keynes, MK7 6AA
		England

  All of the above are available for a nominal price to other educational
establishments.


Paul Hare