Xref: utzoo comp.lang.misc:3807 comp.lang.c:24863
Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!usc!apple!bionet!ig!arizona!debray
From: debray@cs.arizona.edu (Saumya K. Debray)
Newsgroups: comp.lang.misc,comp.lang.c
Subject: Re: The Fundamental Concept of Programming language X
Summary: logic programming
Keywords: programming languages, abstractions
Message-ID: <16551@megaron.cs.arizona.edu>
Date: 3 Jan 90 19:14:23 GMT
References: <1470@mdbs.UUCP> <1782@aipna.ed.ac.uk>
Organization: U of Arizona CS Dept, Tucson
Lines: 14

In article <1782@aipna.ed.ac.uk>, sean@aipna.ed.ac.uk (Sean Matthews) writes:
> paradigm four is maybe the least obvious to the typical programmer.
> Prolog is the most obvious implimentation of this sort of thing.  I am
> not sure what we learn from it ...

Computation as controlled deduction?  Program semantics as (simple)
statements of logic (as opposed to the rather baroque structures one
must construct for the denotational semantics of most languages)?

-- 
Saumya Debray		CS Department, University of Arizona, Tucson

     internet:   debray@cs.arizona.edu
     uucp:       uunet!arizona!debray