Logikprogrammierung: 1. Introduction
Zur Veranstaltungsseite

Prolog, Facts and Rules, automated theorem proving, SLD trees

Kapitel:

Start Kapitel