Article View: comp.lang.misc
Article #5272Re: func & logic langs
From: Stanley T. Shebs
Date: Sun, 13 Mar 1988 16:56
Date: Sun, 13 Mar 1988 16:56
23 lines
1415 bytes
1415 bytes
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
Technical Details
Message-ID:
<5345@utah-cs.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!mnetor!uunet!husc6!ut-sally!utah-cs!defun.utah.edu!shebsReferences:
<698@btnix.UUCP>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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