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

목차

1. 소개

2. Prolog에 대하여
1) Prolog의 역사
2) Prolog의 특징
3) Prolog 프로그램의 개념
4) Prolog의 단일화와 퇴각 검색
5) Prolog의 개발환경

3. 논리형 프로그램의 응용분야

본문내용

추론과 증명의 과학으로서 논리는 고대 그리스 시대 이후로 존재해왔다. 수학적 증명 이론으로서 수학 혹은 기호 논리는 1800년대 중반에 George Boole과 Augustus De Morgan의 연구와 함께 시작되었다. 그 이후로 논리는 주요한 수학의 분야를 이루었고 20세기 수학에서 중요한 역할을 하였는데 특히 Kurt Go-del 의 유명한 불완전성 정리는 그러하다.
논리는 컴퓨터 및 프로그래밍 언어와 여러 가지로 깊은 관련이 있다. 첫째로 컴퓨터 회로를 부울 대수의 도움으로 설계할 수 있고 부울 수식과 데이터는 프로그램의 행동을 제어하기 위해서 프로그래밍 언어에서 거의 일반적으로 사용된다.
논리 문장은 프로그래밍 언어 구문 구조의 의미를 기술하는 데 사용할 수 있다. 이러한 의미론을 공리적 의미론이라고 한다. 논리 문장은 프로그램의 행동을 요구하기 위한 형식 명세로도 사용할 수 있으며 공리적 의미론과 함께 순수한 수학적 방법으로 프로그램의 정확성을 증명하는데 사용할 수 있다. 논리언어란 Prolog(Program In Logic)을 변경하여 추론의 기본이 되는 3단 논법, 즉 A = B, A = C, 따라서 B = C를 기본으로 하는 것으로, 처리해야 할 정보를 A = B, A = C와 같은 패턴끼리의 비교를 통해 그로부터 B = C를 추론해 간다

참고 자료

1)프로그래밍 언어 원리와 실제( 김도형, 이수현, 창병모 공저)
2)프로그래밍 언어론 ( 원유헌 저)