határozott klóz

A Horn klóznak két fajtája van. Az egyik a határozott klóz a másik a tény. Egy határozott klóz két részből áll. Áll egy feltétel és egy következmény részből. A Horn klóz definíciójából következik, hogy mind a két részben csak pozitív literálok (állítások) lehetnek. A feltételek együttes fennállása esetén teljesül a következmény. Például VanPénz(x) és AkarVenni(tej,x) -> Vesz(tej). Tehát ha valaki meg akar venni egy tejet, aminek az ára "x", és van annyi pénze, akkor meg is veszi azt az adott tejet. Ez egy határozott klóz.