Prolog 와 Montague 문법

본 논문은 Montague 문법의 기본 원리들을 전산언어인 Prolog로 구현해 보는데 목적이 있다. 이를 위해 우리는 먼저 제 2장에서 Prolog 언어에 대해 간단히 소개할 것이다. 이어서 제 3장은 Montague 문법의 중요한 개념인 람다 연산을 Prolog 언어에서 어떻게 다룰 수 있는가를 살펴보고 이를 바탕으로 제 4장은 영어의 몇 가지 구문을 분석해 볼 것이다.
2. Prolog 언어
Prolog란 “Programming in Logic” 이라는 뜻으로 논리언어의 기술체계를 이용한 전산언어이다. Prolog의 프로그램잉은 (1)과 같이 세 가지 부분으로 구성되어 있다(Clocksin & Mellish, 1984: 2).

(1) a. declaring some facts about objects and their relationships.

b. defining some rules about objects and their relationships.
c. asking questions about objects and their relationships.
즉 Prolog는 일정한 사실(facts)과 규칙(rules)을 자료(data)로 주고 이에 관해 묻고 답하는 언어이다. 이때 사실과 규칙들은 (2-3)과 같이 1차 논리언어로 주어진다.

(2) tall(mary).

thief(john).
female(jane).
fema…(생략)