Rövid szöveges bemutatás:
Az elsőrendű logikai következtetésben, szükségünk van változó behelyettesítésekre. Ezen változók behelyettesítésének segítségével új tényadatokra lelhetünk. Az egyesítés fogalom maga azt a változó hozzárendelést jelenti, mellyel a logikai állítások igényelnek, ahhoz hogy összevonhatóak legyenek. Az egyesítési lépés pedig az egyesítés behelyettesítését és a kikövetkeztetés folyamatát jelenti. Például az Rajtavan(Kocka, Y), Rajtavan(Kocka, Kocka2) esetén az egyesítés az {y/Kocka2}.