Translation of "Horn clause" in German

Related phrases