Programmierung: Letzte Vorlesung (Fr, 03.02.2017)
Zur Veranstaltungsseite
  • Einbetten

Beschreibung:

-Rechnen in Prolog-
rest

-Viel erfolg bei der Klausur-

Kapitel:

00:17:20
Most General Unifier(MGU)
00:49:31
Resolution
01:00:59
Beweisbäume
01:14:15
Gleichheit in Prolog