http://www.cs.washington.edu/education/courses/505/fall94/logic/logic-programming.html

Logic Programming Languages

Language metaphors: