High Level Languages: Prolog

Aktuelles
Beschreibung

This lecture is a practical introduction to logic programming using the programming language Prolog. Issues addressed in the lecture include databases, automatic deduction and artificial intelligence.

Module:

High Level Languages: Prolog (Höhere Programmiersprachen: Prolog)
2+2 SWS. ECTS according to the respective study regulations.
The course takes place online.

Restricted to:    
Students of computer science master programs

Lecturer:
Francois Bry

Registration:
Accepted participants will receive a confirmation email before the start of the lecturing term.

Examination:

The examination consists of

  • realising a programming project in Prolog
  • an oral examination on lecture topics and the programming project

Literature:

  • W.F. Clocksin, C.S. Mellish. Programming in Prolog. Springer-Verlag, 1981.
  • L. Sterling, E. Shapiro. The Art of Prolog. MIT-Press, 1986
  • R. A. O’Keefe. The Craft of PROLOG. MIT-Press, 1990
Institut
Institut für Informatik
Dozent:in
Assistent:innen
Kursteilnehmer:innen
17 von 20
Anmeldung

Di 01 Sep 2020 00:00 – Mi 28 Okt 2020 00:00

Abmeldung nur bis Mo 30 Nov 2020 23:59

Material

Das Kursmaterial ist nur für Mitglieder des Kurses einsehbar, also z.B. für Teilnehmer:innen, Tutor:innen, Korrektor:innen und Verwalter:innen.

Termine
ArtArtZeitZeitRegulärer RaumRegulärer RaumNotizNotiz
Vorlesung
  • Di 12:15–13:45
Internet: Siehe "Aktuelles"
Übung
  • Do 16:15–17:45
Internet: Will be published under "Aktuelles"