Path: utzoo!mnetor!uunet!husc6!ut-sally!utah-cs!defun.utah.edu!shebs
From: shebs%defun.utah.edu.uucp@utah-cs.UUCP (Stanley T. Shebs)
Newsgroups: comp.lang.misc
Subject: Re: func & logic langs
Message-ID: <5345@utah-cs.UUCP>
Date: 13 Mar 88 16:56:34 GMT
References: <698@btnix.UUCP>
Sender: news@utah-cs.UUCP
Reply-To: shebs%defun.utah.edu.UUCP@utah-cs.UUCP (Stanley T. Shebs)
Organization: PASS Research Group
Lines: 23
Keywords: functional logic programming

In article <698@btnix.UUCP> psanders@btnix.UUCP (Chameleon) writes:

>[...] is functional programming a subclass of logic programming ?

Yes, if "logic programing" includes higher-order predicates.

>[...] from a purely practical view I'd say they weren't.

My view is that this reflects our current state of ignorance in
implementing both functional and logic languages, not to mention
the existence of various religious camps that continually call each
other bad names.  Exercise for the reader: find five examples in
archival journals.  1/2 :-)

There has been a considerable amount of work recently on the
merging of functional and logical paradigms.  See "Logic Programming:
Functions, Relations, and Equation" eds. DeGroot and Lindstrom
(Prentice-Hall, 1986), and various papers in recent functional
programming and logic programming conferences (too many to cite
here).

						stan shebs
						shebs@cs.utah.edu