Prolog eLearning
Tutorial

Aufgaben

Hier findest du eine Übersicht der Aufgaben:

1: Fakten, Regeln

01.01. Atome, Variablen und komplexe Terme

01.02. Klauseln, Regeln, Fakten, Prädikate

01.03. Formuliere Fakten und Regeln

01.04. Familiendatenbank

2: Matching

02.01. Matching

02.02. Die Negation des Unifikationsoperators

02.03. Linien

02.04. Beweis und Suchbaum

02.05. Englische Grammatik

02.06. Deutsche Grammatik

02.07. Kreuzworträtsel (Zusatzaufgabe)

3: Rekursion

03.01. Fressen und gefressen werden

03.02. Vorfahr

03.03. Züge

03.04. greater_than

03.05. Addition

03.06. swap

03.07. Learn Prolog Now!

4: Listen

04.01. syntaktisch wohlgeformte Liste

04.02. Matching von Listen

04.03. Matching von Listen mit anonymer Variable

04.04. Einfache Listenprädikate – third

04.05. einfache Listenprädikate – tausch

04.06. member

04.07. all_members

04.08. set_equal

04.09. endlicher Automat

04.10. Grammatik

04.11. Übersetzung

04.12. Endliche Transduktoren (Zusatzaufgabe)

04.13. twice (Zusatzaufgabe)

04.14. combine (Zusatzaufgabe)

04.15. Logikaufgabe (Zusatzaufgabe)

5: Arithmetik

05.01. Arithmetische Operatoren

05.02. produkt/3

05.03. direkterNachfolger/2

05.04. Listenlänge bestimmen

05.05. Prädikate für den Vergleich von Listenlängen

05.06. maximales Listenelement bestimmen

05.07. Listenelemente verdoppeln

05.08. Skalare Multiplikation

05.09. Skalarprodukt (dot product)

05.10. Zusatzaufgaben

6: Listenprädikate

06.01. Grammatik mit append/3

06.02. Palindrom

06.03. Wiederholwörter

06.04. Listenprädikate sublist

06.05.01. Listenprädikate first und last

06.05.02. Listenprädikate swapfl (Zusatzaufgabe)

06.06. deleteall/3

06.07. delete_sublist/3

06.08. Verflachung von Listen (Zusatzaufgabe)

06.09. permute/2 (Zusatzaufgabe)

06.10. Parser

06.11. Logikrätsel 1 (Zusatzaufgabe)

06.12. Logikrätsel 2 (Zusatzaufgabe)

7: DCGs

07.01. Grammatiken in Prolog

07.02. externe/interne Notation

07.03. rechtslineare Grammatik für formale Sprache

07.04. DCG formale kontextfreie Sprache

07.05. Erweiterte Grammatik

07.06. Aussagenlogik (Zusatzaufgabe)

8: param. DCGs

08.01. externe/interne Notation

08.02. Grammatik

08.03. Separieren des Lexikons

08.04. kontextsensitive Sprachen

9: Terme

09.01. Matching- und Vergleichsoperatoren

09.02. negierte Matching- und Vergleichsoperatoren

09.03. Typ von Termen 1

09.04. functor/3

09.05. arg/3

09.06. univ =../2

09.07. Typ von Termen 2

09.08. Parser

09.09. Operatoren

09.10. jealous/2 (Zusatzaufgabe)

10: Cut, Negation

10.01. Generate all

10.02. Cut – Wirkungsweise

10.03. grüner Cut

10.04. roter/grüner Cut

10.05. split/3

10.06. Zugverbindungen (Zusatzaufgabe)

10.07. Zusatzaufgaben

11/12: weitere Prädikate

11.01. Memorisierung

11.02. assert, retract

11.03. alle Lösungen

11.04. Strukturierung der Ergebnisse

11.05. max/2 mit Manipulation der Datenbasis

11.06. Zugverbindungen (Zusatzaufgabe)

11.07. Übung

11.08. Arbeit mit Dateien