논리형프로그래밍

등록일 2000.10.25 한글 (hwp) | 9페이지 | 가격 2,000원

목차

논리형 프로그래밍
1. WHAT 과 HOW

논리형 프로그래밍

2. 논리적 프로그램

3. 문제의 기술

4. 논리형 프로그래밍은 잠정적인 결론

비절차적인 언어의 예

1. 데이터 베이스 언어

2. SETL

3. Snobol 4

3. Prolog

1. 사실, 규칙, 질문

2. 단일화와 퇴각 검색

3. Prolog 프로그램 실행을 지원하는 기계

4. Prolog 인터프리터에서 실행되는 기본연산

4. Prolog와 Snobol 4의 단일화 개념


본문내용

논리형 프로그래밍
1) 배경
·프로그래밍 언어들의 수준이 점점 높아져 가고 있어 프로그래머에게 무한한 창조성을 요구하게 되어 많은 시간이 소요되고 비경제적이며, 오류를 발생시키는데, 그 원인은 종래의 컴퓨터들에서 선언적 기술(declarative description)을 할 수 없기 때문이다. 따라서 사용자의 요구 사항들이 절차적 기술(procedural description)로 상세하게 번역되어야 하는데 논리형 프로그램은 이런 요구사항에 부응하여 탄생하게 되었다.
2) 목적
·실행 가능한 기술(executable description)의 영역을 훨씬 높이 추구하여 사용자 요구를 저 수준의 절차적 구현으로 변형할 필요 없이 직접 명세를 실행 가능하도록 하는 것.

*원하는 자료를 검색 해 보세요.
  • [프로그래밍, 컴퓨터, 컴퓨터언어]논리 프로그래밍 20페이지
    . WHAT과 HOW.3 3. 논리 프로그래밍은 잠정인 결론.4 4. 비절차 ... . 논리컴퓨터프로그래밍 언어와 여러 가지로 깊은 관련이 있다. 첫째로 ... 할 수 있다는 장점이 있다. 4 함수 언어에서는 컴퓨터 구조의 진보로
  • [프로그래밍언어] 논리 프로그래밍 10페이지
    원인은 종래의 컴퓨터들에서 선언 기술(declarative ... . ? 함수 언어에서는 컴퓨터 구조의 진보로 인한 효율 증가가 가장 큰 ... 4일 논리 프로그래밍 ■ 주요내용 및 목차 1. 논리 프로그래밍
  • [프로그래밍 언어] 논리 프로그래밍 10페이지
    프로그래밍 1.논리 프로그래밍의 특성 수학 논리논리가 사용되는 ... . 컴퓨터를 포함한 여러 기종에서 구현이 가능하다는 점과 일본의 ... 있는 방법인 비절차 프로그래밍을 사용하고 있다. *PROLOG의 응용
  • 프로그래밍 언어론 8판(Rovert W. Sebesta 저) 요약본 chapter 02 9페이지
    으로 신뢰성이 없었다. 컴퓨터의 주요 사용은 과학 계산 분야 컴퓨터 ... 비교해서 컴퓨터의 비용이 너무 높았다. Fortran Ⅰ 자연어를 문법 ... 으로 설계된 최초의 언어 구문이 형식으로 기술된 최초의 언어 컴퓨터
  • [컴퓨터 개론] 혼(Horn)절(Clause)에 관하여... 4페이지
    (g(x))]}} 6) 무정량자논리 정규(Conjuctive ... 이루어져 있는 경우 이를 논리 정규이라고 한다. 분배법칙 X1 ... 량자논리 정규으로 변환할 수 있다. (∀x)(∀y) {[¬P(x
  • 명령 프로그래밍과 선언 프로그래밍 3페이지
    1. 명령 프로그래밍의 역사 최초의 명령 언어는 컴퓨터 본래의 기계 ... (Imperative Programming)은 컴퓨터 과학에서 선언 ... 지침을 표현하는 것과 비슷한 방법으로 명령 프로그램은 컴퓨터가 수행 할
  • [프로그래밍 언어론] 각 언어별 paradigm 차이점 및 C언어를 좋아하는 이유 18페이지
    프로그래밍 언어론 레포트 -중간고사 대치과제- - 학과 : 컴퓨터정보 ... 프로그래밍에 두근거리던 그 느낌은 지금도 생생하다. 내 컴퓨터 ... exe 실행파일을 보았을 때가 컴퓨터공학도로써 가슴 벅차고 보람찬
더보기
      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      4. 지식포인트 보유 시 지식포인트가 차감되며
         미보유 시 아이디당 1일 3회만 제공됩니다.
      상세하단 배너
      최근 본 자료더보기
      상세우측 배너
      상세우측 배너
      추천도서
      논리형프로그래밍
      하나은행 통장 개설 이벤트 오늘 하루 보지 않기 닫기
      ?>
      닫기