Date: Wed, 08 Jan 1997 20:59:49 GMT
Server: NCSA/1.4.2
Content-type: text/html
Logic Programming Languages
Logic Programming Languages
Language metaphors:
- Algol family: Von Neumann machine
- functional programming: function definition and application
- object-oriented programming: simulation
- logic programming: theorem proving