Rövid szöveges bemutatás:
Az egységpreferencia mint fogalom az nem más mint egy stratégia a bizonyítási eljárás menetéhez. A stratégia szerint, próbáljunk minél rövidebb klózokat létrehozni. Ehhez érdemes olyan behelyettesítéseket keresni, hogy egy egységklóz felhasználásával egy új rövidebb harmadik klózt kapjunk. Például ha van a (A) egységklózon, és az (/A vagy B vagy C) klózom, akkor ennek a kettőnek az egyesítésével kapom meg a (B vagy C) klózt. Ez megkönnyíti a keresést, azáltal, hogy csökkenti az állapotteret.