[운영체제] 논리형 프로그래밍

※ 미리보기 이미지는 최대 20페이지까지만 지원합니다.

분야
등록일
페이지/형식
구매가격
적립금

레포트 > 공학계열
2008.03.06
12페이지 / hwp
2,000원
60원 (구매자료 3% 적립)

자료 다운로드 네이버 로그인

추천자료

정보처리기사 필기 요약자료

[레포트] postgresql에 관하여

[컴공] 소트트웨어 공학(se) 강의노트 1~7장

[졸업][컴퓨터공학] Microsoft Visual Basic 6.0과 Visual Basic .NET의 호환성 분석

[정보통신] [공학]프로그래밍 언어론(정익사 - 원유헌) 수정본

[프로그래밍 언어] 프로그래밍 언어론 연습문제 풀이 2~9장

정보처리기사 핵심 요약집

수련생 흥미 유발을 위한 태권도장 수련프로그램 다양화 방안0

[전산] 정보체계론 강의록

[조직관리] IBM, 인텔, 삼성 조직비교

소개글

[운영체제] 논리형 프로그래밍에 대한 자료입니다.

- 목 차

1. WHAT과 HOW
2. 비절차적 언어의 예
1) 데이터베이스 언어
2) SETL
3) Snobol4
3. Prolog
1) 사실, 규칙, 질문
2) 단일화와 퇴각 검색
3) 일반적인 자료 구조
4. Prolog와 Snobol4의 단일화 개념
- 참고문헌 -

본문내용

□ 논리형 프로그래밍 언어란?
수학적 논리와 논리가 사용되는 프로그래밍 언어를 논리형 언어라 한다. 논리 문장은 주로 프로그램이 언어 구문구조의 의미를 기술하는데 사용되고, 또한 형식 명제어나 수학적 방법으로 프로그램의 정확성을 증명하는데 사용된다. 논리의 원리는 이 밖에 수학적 정리를 증명하는 프로그램 작성에 사용되어 왔다. 따라서 논리 문장은 제한된 형태에 이어서 프로그래밍 언어라 할 수 있다.

□ WHAT과 HOW
소프트웨어 개발 과정이란 시스템 기술을 점차적으로 상세화시켜 가는 일련의 작업들을 의미한다. 우선 소프트웨어 요구 명세의 선언으로 시작하는데, 이것은 사용자가 요구하는 바의 것, 즉 시스템이 무엇인가(what)를 강조한다. 다음에는 이 시스템 기술을 점차적으로 상세화시켜서 최종적으로 절차적이고 실행 가능한 표현까지 기술하게 되는데, 이것은 문제가 실제로 기계에서 어떻게(how) 해결되는지를 표현한 알고리즘이어야 한다.
지금까지 실제적으로 프로그래밍 언어들의 수준이 점점 높아져 가고 있다는 것에 대해 논하여 왔다. 예를 들면, Ada와 같은 언어는 소프트웨어의 모듈화와 모듈 인터페이스를 명확하고 확실한 방법으로 기술할 수 있는 설계 명세 언어(design specification language)로 간주되어 설계 단계에서도 사용할 수 있다. 그러나, 모듈들로 분해하는 일과 모듈의 내부 사항을 구형하는 일이 자동적으로 이루어지지 않는다. 즉, 프로그래머에게 무한한 창조성을 요구하게 되어 많은 시간이 소요되고 비경제적이며, 오류를 발생시키는데, 그 원인은 종래의 컴퓨터들에서 선언적 기술(declarative description)을 할 수 없기 때문이다. 따라서, 사용자의 요구 사항들이 절차적 기술(procedural description)로 상세하게 번역되어야 한다.
논리형 프로그래밍은 실행 가능한 기술(executable description)의 영역을 훨씬 높이 추구하여 사용자 요구를 저수준의 절차적 구현으로 변형할 필요 없이 직접 명세를 가능하도록 하는 것이 최종 목적이다. 이처럼 논리형 프로그래밍은 먼저 목표를 세우고 나서 증명을 시스템에 요구하면 알려진 지식의 몸체로부터 수행이 시작된다. 이로써 잠정적인 결론을 내릴수가 있다.

참고문헌

참고 문헌
원유헌, , 정익사, 2005

#논리형 #논리형 프로그래밍 #운영체제 #절차식 #비절차식

오늘 본 자료

오늘 본 자료가 없습니다.

이 분야 인기자료

이 분야 신규자료