http://www.cs.washington.edu/education/courses/505/fall94/logic/logic-programming.html
Logic Programming Languages
Language metaphors:
- Algol family: Von Neumann machine
- functional programming: function definition and application
- object-oriented programming: simulation
- logic programming: theorem proving