< 가루의 Prolog 강좌 >

- SWI-Prolog 설치 및 사용법

- 기본 동작 방식

- 아톰과 변수

- 사실이란?

- 규칙이란?

프롤로그(Prolog)는 1973년 프랑스 마르세유 대학교의 알랭 콜메르가 개발한 것으로 논리형 프로그래밍 언어라 할 수 있습니다. 우리가 보통 사용하는 C나 파이썬 등 절차형 언어와 많은 차이가 있습니다. 위의 글에서 프롤로그로 어떻게 추론을 하는 프로그램을 구현할 수 있는지 설명하고 있습니다.

위의 father, john, kate는 모두 아톰(atom)입니다. 상수와 비슷한 개념이라고 보시면 됩니다. 아톰을 사용하여 john은 mike의 father, mike는 jerry의 father라는 사실(fact)를 정의하였습니다. 특이한 점은 father와 같은 논리적 관계를 상수처럼 나타낼 수 있다는 것입니다.

위의 코드에서 X, Y, Z는 변수입니다. 그리고 :- 로 정의된 것은 규칙(rule)으로 논리적인 연산을 할 수 있습니다. ?- 은 명령을 내릴 수 있는 상태입니다. john이 jerry의 grandfather인지 물어보면 true를 반환합니다.

_ 는 어떤 값이라도 가능하다는 뜻입니다. 그러므로 X가 될 수 있는 모든 아톰을 반환합니다.

이처럼 프롤로그는 추론 과정을 매우 쉽게 구현할 수 있습니다. 요즘에는 많이 사용되지 않지만 과거에 전문가 시스템 같이 규칙기반의 프로그램을 만드는데 큰 역할을 했다고 합니다.