The Fundamental Concept of Programming language X

[Saumya K. Debray]

In article <1782 at aipna.ed.ac.uk>, sean at 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 at cs.arizona.edu
     uucp:       uunet!arizona!debray