Re: The Fundamental Concept of Programming language X

Article View: comp.lang.misc

Article #6566

#6566

From: Saumya K. Debray
Date: Wed, 03 Jan 1990 19:14

14 lines
1128 bytes

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

Technical Details

Message-ID: <16551@megaron.cs.arizona.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!usc!apple!bionet!ig!arizona!debray

References: <1470@mdbs.UUCP> <1782@aipna.ed.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message