백과

프롤로그라고 하는 프로그램 언어는 지식공학에서의 후향추론을 행하는데 알맞는 형식을 가지고 있다. 지식 베이스의 규칙

IF 〈조건부〉 THEN 〈귀결부〉

는 프롤로그에서는

〈귀결부〉 : - 〈조건부〉

라는 형식을 갖는다. : -라고 하는 기호는 IF를 의미한다. 프로그램은 귀결부를 참이 라고 가정하여 그것을 지지하는 조건부의 값이 있는가의 여부를 체크하는 형식으로 진행된다. 이미 알고 있는 여러 사실(facts)을 이용하여 조건부의 변수에 값을 대입(구체화라고 한다)해 본다. 그 시도가 귀결부를 지지하고 있지 않다는 것이 판명되면, 변수에 대입된 값을 원점으로 돌려 가능한 다른 값을 대입해서 다시 시도한다. 이와 같은 프로세스는 프로그램에 의해서 자동적으로 이루어지는데 이것을 자동후향기구(automatic backtracking mechanism)라고 한다. 결국, 귀결부를 참이라고 할만한 값을 조건부에 주어 이것을 구체화하는데 성공했을 때 후향추론은 성공한다. 〈참조어〉 자동 후향기구