Prolog (Kurs)

Der Kurs

Kurs zur Vorlesung "Introduction to AI and Logic Programming" von Helmar Gust an der Uni Osnabrück.

Die 4 Lektionen

1. 1
   

   Prolog Basics (16 Karten)

   Terms: All forms of Prolog data. Terms are build of ... - atoms - variables - anonymous variable - integer numbers - decimal numbers - structures - lists - operators - tuples, atoms: - can be composed of all character values as long as they don’t begin with either an underscore or an uppercase ...

    
2. 2
   

   Prolog Theory (24 Karten)

   Characteristics of Prolog: - Only two rules: Unification (specialization) and Modus Ponens - ’simple’ procedural interpretation: SLD-resolution for Horn logic - Complete semantics (pure Prolog): Every syntactically correct program has a semantic interpretation! (= has a model) - Fine grained ...

    
3. 3
   

   Prolog Snippets (12 Karten)

   Short, mostly recursive programs you should know how to implement.

    
4. 4
   

   Prolog Syntax (22 Karten)

   Single correct term: 7a: No, Single correct term: 1(2): No, Single correct term: 1+2: Yes, Single correct term: A(x): No, Single correct clause: 1.: No, Single correct clause? 1.: No, Single correct clause: (1) .: No, Single correct clause: (a) .: Yes, Single correct clause: (a,b) .: No., Single ...

    

Informationen