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.