[프로그래밍언어] 논리형 프로그래밍
- 최초 등록일
- 2004.05.17
- 최종 저작일
- 2004.05
- 10페이지/ 한컴오피스
- 가격 1,000원
소개글
수고하세요
목차
1. 논리형 프로그래밍의 개요
2. WHAT과 HOW
3. 비절차적 언어의 예
(1) 데이터베이스 언어
(2) SETL
(3) Snobol4
4. Prolog
(1) 사실, 규칙, 질문
(2) 단일화와 퇴각 검색
(3) 일반적인 자료 구조
5. Prolog와 Snobol4의 단일화 개념
[Reference]
본문내용
■ 논리형 프로그래밍의 개요
논리형 프로그래밍의 배경 : 프로그래밍 언어들의 수준이 점점 높아져 가고 있어 프로그래머에게 무한한 창조성을 요구하게 되어 많은 시간이 소요되고 비경제적이며, 오류를 발생시키는데, 그 원인은 종래의 컴퓨터들에서 선언적 기술(declarative description)을 할 수 없기 때문이다. 따라서 사용자의 요구 사항들이 절차적 기술(procedural description)로 상세하게 번역되어야 하는데 논리형 프로그램은 이런 요구사항에 부응하여 탄생하게 되었다.
논리형 프로그래밍의 목적 : 실행 가능한 기술(executable description)의 영역을 훨씬 높이 추구하여 사용자 요구를 저 수준의 절차적 구현으로 변형할 필요 없이 직접 명세를 실행 가능하도록 하는 것.
논리적 프로그램 : 프로그래머는 해를 구할 수 있는 문제를 기술하기 위해 사실들(facts)과 특성들(properties)을 선언함. 이러한 정보들은 취급하는 방법에 관한 또 다른 언급 없이도 문제를 해결할 수 있도록 시스템에 의하여 사용됨.
문제의 기술 : 술어 계산(predicate calculus)과 같은 논리적 형식화(logical formalism)로 해결. 논리적 형식화를 사용함으로써 오히려 비 형식적으로 될 수 있음.
참고 자료
․「프로그래밍 언어론」- 원유헌교수(홍익대학교) 정익사
․「프로그래밍 언어개론」- 한상영, 김영택 홍능과학출판사
․ http://cuth.cataegu.ac.kr/~s9047075/pro.html
․ http://cuth.cataegu.ac.kr/~s9047075/apsno.html