Horn-Klausel (Horn-Clause) In der logischen Programmierung bezeichnet man damit Aussagen, die durch `oder†œ verknüpft sind, wobei höchstens eine Aussage wahr ist. Demnach hat eine Horn-Klausel folgende Gestalt: `Nicht A oder Nicht B oder... oder Nicht C oder D†œ. Logisches Programmieren wird effizienter, wenn man als Aussagentyp nur Horn-Kl...