621.315 (17S) Logische Programmierung