eine Darstellungsform für bestimmte Aussagen der Prädikatenlogik, die in der logischen Programmierung verwendet wird. - Beispiel: ProgrammierspracheProlog; die Regeln werden als H.-K. in der Form "Ergebnis :- Bedingung1, ... , Bedingungn", dargestellt, wobei das Symbol ":-" als "ist wahr, wenn gilt" und ein Komma als Konjunktion zu interpretieren ist; d. h., das Ergebnis ist wahr, wenn alle Bedingungen 1 bis n wahr sind.
