Xref: utzoo comp.lang.prolog:921 comp.edu:1154
Path: utzoo!mnetor!uunet!lll-winken!lll-tis!mordor!sri-spam!sri-unix!quintus!ok
From: ok@quintus.UUCP (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog,comp.edu
Subject: Logic Programming Research
Message-ID: <938@cresswell.quintus.UUCP>
Date: 7 May 88 00:39:37 GMT
Organization: Quintus Computer Systems, Mountain View, CA
Lines: 25

I received a reply to my earlier message on this topic which read
	I believe you must know here at ,
	 is doing logic programming research.

I'm afraid that misses the point.  What I want is details that I can put in
a list that I can give to other people.  Off-hand I can think of a dozen
places that I've heard of.  But I haven't got full postal addresses, e-mail
contacts, list of faculty interested in having logic programming PhD students
&c.

So I need to be clearer.  Imagine that you were writing an advertisement to
go in CACM on something like that which was supposed to attract logic
programming PhD students (or post-grad scholars) to your outfit.  THAT's
the kind of thing I'm after.

	Short name of institute
	Name of contact person
	Full postal address
	E-mail address of a contact person
	Study programs offered
	People doing logic programming research
	Specific topics (theory temporal compilers environments hardware &c)
	&c

Perhaps this is something the Logic Programming Association might more
properly _maintain_ than I, but I'd like to get it started.