SSP Group Meeting
Thursday, June 15th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


Logic Programming in a Nutshell

Wamberto Vasconcelos

As part of our PhD studies, some of us have had to learn Prolog and to be able to understand and write rather complex programs although possessing little or no background in Logic Programming, the theoretical underpinnings of Prolog. In an attempt to remedy that, in this meeting we shall give a "guided tour" on the following fundamental concepts of logic programming:

  1. Horn clauses: syntax
  2. Resolution
  3. Unification
  4. Procedural x declarative meaning of programs
  5. Proof trees
  6. Logic programming x Prolog

We shall avoid too many technical details and concentrate more on the intuition and motivation of each concept. We shall also give a commented list of further reading material and existing tutorials on the web.

See also the slides of the presentation.