Path: utzoo!mnetor!uunet!mcvax!ukc!stc!btnix!psanders
From: psanders@btnix.UUCP (Chameleon)
Newsgroups: comp.lang.misc
Subject: func & logic langs
Message-ID: <698@btnix.UUCP>
Date: 10 Mar 88 13:23:55 GMT
Lines: 27
Keywords: functional logic programming

If we assume that the following definitions are valid:

1. Functional and logic language programs consist of assertions, and the 
computation proceeds by a process of deduction from these assertions.

1. In Functional programming the assertions consist of equations

2. In logic programming the assertions consist of material implications

3. For functional programming the subject of discourse is functions and for 
logic programming it is relations

then is functional programming a subclass of logic programming ?

From these definitions, I'd say they were, but from a purely practical view
I'd say they weren't.

Any views, definitive comments etc.?

Paul.

---
Paul Sanders.
E-mail (UUCP)	PSanders@axion.bt.co.uk (...!ukc!btnix!psanders)
Organisation	British Telecom Research Laboratories, Ipswich UK.

"This mime of mortal life, in which we are apportioned roles we misinterpret..."