Rövid szöveges bemutatás:
Az inverz rezolúció, a rezolúciós eljárás ellentétes irányú folyamata. Ebben az esetben a bizonyítást visszafelé végezzük el. Ez elméletileg lehetséges mert a rezolúció teljes. Tehát egy lépésben vagy egy konkrétumból indulunk ki, amely generál két darab klózt (melynek rezolválásából vissza tudnánk kapni a konkrétumot, melyből létrehoztuk őket) vagy egy konkrétumból és egy klózból indulunk ki és generálunk egy második klózt (hasonló céllal). Tehát a lényeg az, hogy egészen a konkrétumokból indulunk ki, és az általános igazságokig jutunk el.