Logic Programming

Lecture Notes for Com Sci 221, Programming Languages

Last modified: Thu Dec 2 00:24:38 CST 1999

Prolog Examples

I haven't had time to type real notes for this section yet. Here are some thought-provoking examples of logic programming in Prolog.

• Symbolic integers
  • Definitions
  • Demonstrations
• Unification examples
  • Definitions
  • Demonstrations
• Database join
  • Definitions
  • Demonstrations
• Equivalence classes as unification structures (incomplete definitions to be filled in for homework)
  • Definitions
  • Demonstrations
  • Script with output of demonstrations