Clark normál forma

Az elsőrendű logikában külön szabályrendszerrel kell jeleznünk, hogyha egy bizonyos dologból csak az adott példányok léteznek és más példány nem létezik abból a dologból. Ennek leírására van szükség a Clark féle normál formára. Ilyenkor az olyan klózokból indulunk ki, melyekről tudjuk, hogy léteznek és azonos predikátummal rendelkeznek. Például Alma(Piros, 26). Az eljárás végén eljutunk oda, hogy először kifejezzük általánosságban, Alma(c, s) <-> [c, s]. Majd ezt az általánosságot konkretizáljuk az adott példányainkra, Alma(c, s) <-> [c, s] = [Piros, 26] V [c, s].