Online Prolog lernen
Mit Mindpicnic kannst du sofort und ohne Software-Download mit dem Lernen von Vokabeln und Texten zum Thema Prolog beginnen. Im Gegensatz zu herkömmlicher Lernsoftware findet beim E-Learning das Lernen und Wiederholen online statt. Jetzt mehr erfahren!
1 Kurs
-
Prolog
(4 Lektionen)
Kurs zur Vorlesung "Introduction to AI and Logic Programming" von Helmar Gust an der Uni Osnabrück.
4 Karteien
-
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 ... -
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 ...
-
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 ...