Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!decvax!decwrl!ucbvax!upenn.CSNET!Fishwick
From: Fishwick@upenn.CSNET.UUCP
Newsgroups: mod.ai
Subject: Logic/Functional Languages?
Message-ID: <8605200626.AA27699@ucbvax.Berkeley.EDU>
Date: Thu, 15-May-86 21:14:00 EDT
Article-I.D.: ucbvax.8605200626.AA27699
Posted: Thu May 15 21:14:00 1986
Date-Received: Tue, 20-May-86 20:45:11 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 19
Approved: ailist@sri-ai.arpa

Does anyone on the list know of available languages incorporating both
logic and functional programming (preferably in a Unix 4.2 environment
or possibly an IBM/PC)? Specifically, I'm looking for one or both
of the following:

1) Some version of Prolog embedded within Common Lisp (I've heard of
   LISPLOG or POPLOG - anyone have any experience with these?). A
   set of add-on macros or function library to an already extant
   lisp would be best.

2) Any of the systems discussed in the book "Logic Programming -
   Functions, Relations, and Equations" by DeGroot & Lindstrom.

Has anyone produced any large applications with these hybrid systems?
Are the benefits derived from the systems *significant* (over using, say,
vanilla lisp or prolog)? If I get enough replies, I will post a summary 
of names and addresses where these languages can be obtained...Thanks.

-paul