Klausul
En logisk formel, der siger,
A1 eller A2 eller ... eller Am hvis B1 og B2 og ... og Bn,hvor alle A1,...,An, B1,...,Bn er udsagn (prædikater, relationer mellem deres argumenter), dvs. hvis alle B1,...,Bn er sande, så vil mindst én af påstandene A1,...,Am også være sand. Et PROLOG-program består af et antal Horn-klausuler, der er et specialtilfælde, idet m=1. Alle de ovennævnte prædikater kan have konstanter, variable eller sammensatte objekter som argumenter. Se i øvrigt prædikatlogik.
