Logic Programming Languages

• Algol family: Von Neumann machine
• functional programming: function definition and application
• object-oriented programming: simulation
• logic programming: theorem proving

• Prolog
• Constraint Logic Programming