논리형프로그래밍

목차

논리형 프로그래밍
1. WHAT 과 HOW

논리형 프로그래밍

2. 논리적 프로그램

3. 문제의 기술

4. 논리형 프로그래밍은 잠정적인 결론

비절차적인 언어의 예

1. 데이터 베이스 언어

2. SETL

3. Snobol 4

3. Prolog

1. 사실, 규칙, 질문

2. 단일화와 퇴각 검색

3. Prolog 프로그램 실행을 지원하는 기계

4. Prolog 인터프리터에서 실행되는 기본연산

4. Prolog와 Snobol 4의 단일화 개념

본문내용

논리형 프로그래밍
1) 배경
·프로그래밍 언어들의 수준이 점점 높아져 가고 있어 프로그래머에게 무한한 창조성을 요구하게 되어 많은 시간이 소요되고 비경제적이며, 오류를 발생시키는데, 그 원인은 종래의 컴퓨터들에서 선언적 기술(declarative description)을 할 수 없기 때문이다. 따라서 사용자의 요구 사항들이 절차적 기술(procedural description)로 상세하게 번역되어야 하는데 논리형 프로그램은 이런 요구사항에 부응하여 탄생하게 되었다.
2) 목적
·실행 가능한 기술(executable description)의 영역을 훨씬 높이 추구하여 사용자 요구를 저 수준의 절차적 구현으로 변형할 필요 없이 직접 명세를 실행 가능하도록 하는 것.

참고 자료

없음