[공학]논리형 프로그래밍 조사

목차

Ⅰ. 서 론
Ⅱ. 본 론
1. 명령형, 함수형 언어와 논리형 언어 비교
2. 비 절차적 언어
2. 1 데이터베이스 언어
2. 2 SETL
2. 3 Snobol
3. Prolog
3. 1 Prolog란
3. 2 Prolog구조
1) 상수 및 변수
2) 사 실 (facts)
3) 규 칙 (rule)
4) 질 문
5) Backtracking과 Cut
Ⅲ. 결 론
Ⅳ. 참고문헌

본문내용

Ⅰ. 서 론

논리형 프로그래밍 언어는 간단하게 말한다면 수학적인 논리가 프로그래밍 언어에 사용되는 것을 말한다. 문장 자체가 언어 구문 구조의 의미를 기술하는데 사용되고 있으며 형식 등이 수학의 증명 방법처럼 정확하게 증명하는데 이용된다. 그러나 논리의 원리 자체가 수학적인 방법으로 프로그램을 정확하게 증명하는데 사용되어 왔기 때문에 제한된 형태의 프로그래밍 언어라고 할 수 있다. 논리형 프로그래밍은 실행 가능한 기술(executable description)의 영역을 휠 씬 높이 추구하여 사용자 요구를 저 수준의 절차적 구현으로 변형할 필요 없이 직접 명세를 실행 가능하도록 하는 것이 최종목표이다.


Ⅱ. 본 론

1. 명령형, 함수형 언어와 논리형 언어 비교

명령형 언어나 함수 프로그래밍 언어들은 모두 절차적(procedural)특성을 갖는다. 즉 이 언어들은 문장들이나 함수를 어떤 순서로 나열하여 문제의 해를 구할 것인가를 기술한다. 한 편 논리 프로그래밍 언어는 선언적 형태로 문제를 정의하는데, 목적이 무엇인가를 기술하고 이 목적의 증명을 찾아나가는 구현 방법을 기초로 한다.

명령형 언어나 논리형 언어 모두 문제를 해결하는 방법에서 창조성을 요구한다. 순차 언어에서 정렬 프로그램을 작성하는 방법이 서로 다른 것과 마찬가지로 해를 선언적으로 형식화하는 방법도 서로 다르다. 선언적 방법은 문제의 본질을 보다 확실하게 접근함으로써 해를 구하려 하지만 명령적 방법에서는 원시 연산을 가지고 어떻게 해를 형식화할 수 있는가에 더 깊은 관련이 있다. 이것은 다음과 같이 다시 설명할 수 있다. 논리형 프로그래밍은 소프트웨어 개발시 요구 명세에 더 집중해야 되며 임계 부분에서 창의성을 요구한다. 즉, 논리형 프로그래밍은 명령형 언어보다 소프트웨어 생산 주기의 앞 단계에서 직면한 한계성을 해결하는데 초점을 맞춰야한다.
논리형 프로그래밍은 실행 가능한 명세를 작성하기 위한 수단을 제공된다. 논리형 언어는 초기에 간결하게 구현하기 위해 소프트웨어 생산 요구 단계에서 사용할 수 있다. 즉 사용자가 시스템을 이용하여 실험을 쉽게 해 볼 수가 있어, 요구에 적합하도록 설계하는 시점에서 소프트웨어 명세를 설계자가 검토할 수 있다. 초기 단계에서 대략적인 구현을 구축하는 것을 원형화(prototyping)라고 하며, 논리형 프로그래밍은 이 원형화를 빠르게 수행할 수 있다는 장점이 있다.

함수형 언어에서는 컴퓨터 구조의 진보로 인한 효율성 증가가 가장 큰 중요한 쟁점인데 미래에는 이러한 사항이 별다른 영향을 주지 못할 것이므로 프로그래밍 노력을 전체적으로 줄이고 보다 높은 신뢰성을 고려한다면 논리형 언어가 이를 만족시킬

참고 자료

1. 원유헌, “[개정판] 프로그래밍 언어론”, 정익사
2. 김영택․한상영 공저, “프로그래밍 언어 개론”, 홍릉과학 출판사
3. Robert W. Sebesta 원저, 유원희․하상호 역, “프로그래밍 언어론”, 홍릉과학 출판사
4. 김도형․이수현․창병모 공역, “프로그래밍 언어 -원리와 실제-”, 喜重堂