통합
두 개의 논리식을 동일하게 만들기 위해 변수에 적절한 항(Terms)을 대입하는 과정이다. 1차 논리 추론에서 일반적인 규칙과 구체적인 사실을 매칭하여 새로운 결론을 도출하는 데 핵심적인 역할을 한다.