논리형프로그래밍

목차

1. 논리형 프로그램 핵심

2. WHAT 과 HOW

3. 비절차적 언어의 예
3.1 데이타 베이스 언어
3.2 SETL
3.3 SNOBOL 4

4. PROLOG
4.1 사실(Fact),규칙(Rule),질문(Question)
4.2 단일화(Unification)와 퇴각 검색(Backtracking)
4.3 일반적인 자료 구조

5. PROLOG 와 SNOBOL 4의 단일화 개념

6. 참고 문헌 / 사이트 주소

본문내용

퇴각 검색을 하는 동안에 다시 만족되는 것을 시도하면 규칙의 왼쪽 부분에 단일화된 목표가 실패로 됨.
따라서 다음과 같은 규칙
a : -b, c, !, d, e
에서 cut은 목표 c와 b를 재만족시켜 하는 다른 시도를 제한하게 된다. cut을 이용함으로써 위에 기술한 belongs_to를 다음과 같이 쓸 수 있다.
X(Y) : -A
X(Z) :-.
이 때 첫 번째 단정과 부합이 일어나면 cut은 두 번째 단정으로 퇴각 검색을 막는다. cut 연산자는 Prolog가 순수하게 선언적인 것으로부터 어떻게 갈라져 나왔는가 하는 또 다른 예이다. cut은 저수준(low-level) 연산자로 제어 흐름에 영향을 주며, 인터프리터에 의해 결정되는 내장(built-in) 방법의 지식을 필요로 한다.
5. PROLOG 와 SNOBOL 4의 단일화 개념
PROLOG에서는 사실과 규칙의 데이터 베이스가 탐색 공간을 제공함. 탐색 기준은 사용자 입력으로부터 주어진 목표에 따라 결정됨. SNOBOL 4에서는 패턴이 탐색 공간을 제공하는데, 패턴과 부합되는 문자열을 목표 또는 탐색 기준으로 간주할 수 있음. 이 경우 효율을 증가시키기 위해 매우 큰 공간을 생성할 수 있도록 하는데, 이것은 프로그래머로 하여금 탐색을 제어 할 수 있도록 한 것임.
PROLOG인터프리터의 탐색이 왼쪽으로, 위에서 아래로 수행한다는 것을 알 필요가 있듯이 SNOBOL 4의 형태 부합도 왼쪽으로, 위에서 아래로 실행한다는 것을 알아야 함.
이 두 언어의 인터프리터는 탐색을 실행하는 동안 틀린 것을 선택할 수 있으므로 퇴각 검색할 수 있는 능력이 요구되는데, 이 퇴각 검색 제어 도구를 프로그래머에게 제공하고 있다. 또 Snobol4의 FENCE는 prolog의 cut와 비슷하다.
이러한 유사성들은 외관상 서로 다른 집합에 동일한 개념을 어떻게 적용할 수 있었는가를 알 수 있기 때문에 흥미를 갖게 되는 것이다.
6. 참고 문헌 / 사이트 주소
● 참고 문헌
○ 원유헌, 프로그래밍 언어론, 정익사, 1999.
○ 김도형 이수현 창병모 공역, 프로그래밍언어: 원리와 실제, 희중당, 1997.
● 사이트 주소
○ http://pllab.kangwon.ac.kr/lecture/pl/start.htm 프로그램 언어론
○ http://kin.naver.com/browse/db_detail.php?d1id=1&dir_id=101&docid=11 논리형 프로그램이란?

키워드

논리형,   비절차적,   데이타,   SETL,   SNOBOL,   PROLOG,   단일화