PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (09/22/86)
PROLOG Digest Monday, 22 Sep 1986 Volume 4 : Issue 52
Today's Topics:
Implementation - Graphics,
Announcement - Research Opportunity
----------------------------------------------------------------------
Date: 14 Sep 86 22:09:10 GMT
From: Barry Brachman <!ubc-ean!ubc-cs!brachman@uw-beaver.arpa>
Subject: Graphics for C-Prolog on the SUN
I'm posting to net.sources a package called gprolog that lets
you call graphics routines in the SunCore library from C-Prolog.
GProlog runs on both the SUN 2 and SUN 3 (4.2BSD Releases 2.3/3.0).
The distribution includes:
- diffs to be applied to C-Prolog 1.5
- code that implements the interface between Prolog and SunCore
- a user's manual
- three puny demos
To run gprolog you'll need:
- Larry Wall's (great!) patch program (or a lot of patience)
- the unaltered source to C-Prolog version 1.5
- a SUN 2 or SUN 3 with a console (i.e., bit mapped display),
the SunCore library and preferably suntools (does everybody get
SunCore and suntools?)
-- Barry Brachman
------------------------------
Date: Tue, 16 Sep 86 13:56:00 BST
From: David Warren <warren%
Subject: Item for Prolog Digest
dunix.computer-science.manchester.ac.uk@Cs.Ucl.AC.UK>
UNIVERSITY OF MANCHESTER
Department of Computer Science
PARALLEL EXECUTION MODELS
FOR LOGIC PROGRAMMING LANGUAGES
TWO RESEARCH ASSOCIATES
Applications are invited for two Research Associate posts
associated with the above SERC-funded project. The appointees
would join the Computational Logic Group led by Professor
David Warren.
The aim of the project is to design and implement parallel
execution models for logic programming languages to achieve
much high inference speeds than are possible on sequential
machines. We are looking for models which are transparent
to the programmer, which generalise sequential implementation
techniques, and which will support real applications. The
aim is to demonstrate significant speedups through parallelism
in a language that is a true extension of Prolog. The work
will involve producing a portable implementation for commercial
multiprocessors, and investigation of novel architectures for
implementing the models.
A Sequent Balance 8000 multiprocessor, with six processors,
will be used as a target machine, with most of the development
work being done on Sun workstations. The main implementation
languages will be C and Prolog. The project will involve close
collaboration with groups at Argonne National Laboratory,
Imperial College, and the Swedish Institute for Computer Science.
Applicants should have a good honours degree and relevant
postgraduate experience, including experience with one or more
of Prolog, C, Unix, or multiprocessors. The posts are tenable
for up to three years and are available immediately. Appointments
will be made according to age and experience on the RA1A or RA2
salary scales (8,020-12,780 or 11,790-15,700 pounds sterling
respectively).
Letters of application, including a CV, a statement of research
interests, and the names and addresses of two referees, should
be sent to Professor David H.D. Warren, Department of Computer
Science, University of Manchester, Manchester M13 9PL, preferably
by 10 November 1986. Informal enquiries can be made by telephone
(061-273-7121 ext 5550) or by electronic mail (JANET: dhdw @
uk.ac.man.cs.ux).
Vacancies are also available within the Computational Logic Group
for academic staff. Enquiries should likewise be addressed to
Professor Warren.
------------------------------
End of PROLOG Digest
********************