논리형프로그래밍

등록일 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)의 영역을 훨씬 높이 추구하여 사용자 요구를 저 수준의 절차적 구현으로 변형할 필요 없이 직접 명세를 실행 가능하도록 하는 것.

*원하는 자료를 검색 해 보세요.
  • [프로그래밍언어] 논리형프로그래밍 10페이지
    추론과 증명의 과학으로서 논리는 고대 그리스 시대 이후로 존재해왔다. 수학적 증명 이론으로서 수학 혹은 기호 논리는 1800년대 중반에 George Boole과 Augustus De Morgan의 연구와 함께 시작되었다. 그 이후로 논리는 주요한 수학의 분야를 이루었고..
  • [프로그래밍, 컴퓨터, 컴퓨터언어]논리형 프로그래밍 20페이지
    3. 논리형 프로그래밍은 잠정적인 결론 명령형 언어나 함수 프로그래밍 언어들은 모두 절차적 특성을 가진다. 즉 이 언어들은 문장들이나 함수를 어떤 순서로 나열하여 문제의 해를 구할 것인가를 기술한다. 한편 논리 프로그래밍 언어는 선언적 형태로 문제를 정의하는데, ..
  • PROLOG를 이용한 Logic database 구현에 관한 연구 (The Study of Logic Database Implementation Using PROLOG) 4페이지
    본 논문은 logic과 database의 결합에 필요한 이론과 이를 통하여 얻을 수 있는 잇점들을 살펴보고, logic을 database에 적용하는 방법을 논리프로그래밍 언어인 PROLOG를 이용하여 구현하였다. database는 PROLOG의 assertion들로 정..
  • [프로그래밍 언어] 논리형 프로그래밍 10페이지
    논리형 프로그래밍1.논리형 프로그래밍의 특성 수학적 논리와 논리가 사용되는 프로그램밍 언어를 논리형 언어라 한다. 논리 문장은 주로 프로그래밈이 언어구문구조의 의미를 기술하는데 사용되고, 또한 형식 명세어나 수학적 방법으로 프로그램의 정확성을 증명하는데 사용된다. 논리..
  • 인공지능언어 Java, Prolog에 대하여 14페이지
    Ⅰ. JAVA 1. JAVA의 탄생과정 자바는 미국의 썬 마이크로시스템즈라는 회사가 1995년에 자사의 제품을 소개하는 썬월드 ‘95에서 정식으로 발표한 컴퓨터 프로그래밍 언어이다. 처음부터 자바(JAVA)라는 이름으로 제작된 것은 아니었고, 원래는 오크(Oak)라는 ..
  • 고차 논리 표현이 첨가된 Flat Concurrent Prolog (Higher - Order Extension to Flat Concurrent Prolog) 4페이지
    Flat Concurrent Prolog (FCP)는 일차 논리에 기초를 두고 설계된 언어로서 함수 언어의 고차 논리적 기능을 제공하도록 확장하는 것이 필요하다. 본 논문에서는 Prolog의 확장을 위해 DHD Warren이 제안한 번역 규칙을 응용하여, 술어 변수가 ..
  • [프로그래밍언어] 논리형 프로그래밍 10페이지
    ■ 논리형 프로그래밍의 개요 논리형 프로그래밍의 배경 : 프로그래밍 언어들의 수준이 점점 높아져 가고 있어 프로그래머에게 무한한 창조성을 요구하게 되어 많은 시간이 소요되고 비경제적이며, 오류를 발생시키는데, 그 원인은 종래의 컴퓨터들에서 선언적 기술(declarat..
더보기
      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      4. 지식포인트 보유 시 지식포인트가 차감되며
         미보유 시 아이디당 1일 3회만 제공됩니다.
      상세하단 배너
      최근 본 자료더보기
      상세우측 배너
      추천도서
      논리형프로그래밍