"Prolog 001.ps.gz" - читать интересную книгу автора

Einf"uhrung in Prolog mit SWI-Prolog

Helmar Gust Armin Tischler Philipp H"ugelmeyer

Patrick Tschorn

Timo Steffens

M"arz 1999

Inhaltsverzeichnis 1 Einleitung 4 2 Erste Schritte 6

2.1 Einfache Klauseln (Fakten) . . . . . . . . . . . . . . . . . . . . . 6

2.1.1 "Ubungen . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.2 Kompliziertere Klauseln . . . . . . . . . . . . . . . . . . . . . . . 10

2.2.1 "Ubungen . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

3 Kurze Einf"uhrung in die Pr"adikatenlogik (PL1) 16

3.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.2 Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.3 "Ubersetzung nat"urlichsprachlicher Aussagen in Pr"adikatenlogik

und Prolog . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

3.3.1 Einige Beispiele . . . . . . . . . . . . . . . . . . . . . . . . 20 3.4 "Ubungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.5 "Ubersetzung in Pr"adikatenlogik und Klauselform TEIL II . . . . 21

3.5.1 Grundschema f"ur Existenzquantoren . . . . . . . . . . . . 22 3.5.2 Transformation pr"adikatenlogischer Aussagen in Klauselform . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

3.5.3 Wahrheitserhaltende Transformationen . . . . . . . . . . . 23 3.5.4 Ein logisches Puzzle . . . . . . . . . . . . . . . . . . . . . 25 3.5.5 "Steamroller"-Problem . . . . . . . . . . . . . . . . . . . . 26

4 Datenstrukturen 28

4.1 Funktionsausdr"ucke . . . . . . . . . . . . . . . . . . . . . . . . . . 28 4.2 Listen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

1

4.2.1 Reihenfolgeprobleme . . . . . . . . . . . . . . . . . . . . . 34 4.2.2 Strukturaufbau bei Rekursionsabstieg bzw. Rekursionsaufstieg . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34