logic programming in German
logic programming in German
logische Programmierung
(programming) Programming with a paradigm that bases on formal logic