[프로그래밍 언어] 논리형 프로그래밍

목차

WHAT 과 HOW

논리형 프로그래밍
1.논리형 프로그래밍의 특성
2.논리 프로그래밍 언어의 핵심

비절차적 언어의 예
1.데이터베이스 언어
2. SETL
3.Snobol 4

Prolog
1.사실, 규칙, 질문
2.단일화와 퇴각 검색
3.일반적인 자료 구조
4.Prolog와 Snobol 4의 단일화 개념

본문내용

논리형 프로그래밍

1.논리형 프로그래밍의 특성

수학적 논리와 논리가 사용되는 프로그램밍 언어를 논리형 언어라 한다. 논리 문장은 주로 프로그래밈이 언어구문구조의 의미를 기술하는데 사용되고, 또한 형식 명세어나 수학적 방법으로 프로그램의 정확성을 증명하는데 사용된다. 논리의 원리는 이밖에 수학적 정리를 증명하는 프로그램 작성에 사용되어 왔다. 따라서 논리 문장은 제한된 형태에 있어서 프로그래밍 언어라 할 수 있다. 이 언어는 인공지능과 프로토타입핑 언어로 많이 이용되고 있다.
집합이론을 프로그래밍 언어로 전환하기 위한 시도가 SETL이라는 언어를 탄생시켜 정형화와 계산 및 이산수학 학습에 이용되었으나 구현의 어려움 때문에 중단되었다. 논리 프로그래밍에서 사용되는 논리는 first-order predicate calculus(일차 술어해석)로 논리문장을 정형적으로 표현하고 있다.

참고 자료

프로그래밍 언어론 -정익사-
인터넷 자료