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). female(mary). female(sandy). male(john). male(tom). male(peter). parent(mary, john). parent(peter, john). parent(jane, sandy).