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

등록일 2003.04.18 한글 (hwp) | 10페이지 | 가격 1,000원

목차

WHAT 과 HOW

논리형 프로그래밍
1.논리형 프로그래밍의 특성
2.논리 프로그래밍 언어의 핵심

비절차적 언어의 예
1.데이터베이스 언어
2. SETL
3.Snobol 4

Prolog
1.사실, 규칙, 질문
2.단일화와 퇴각 검색
3.일반적인 자료 구조
4.Prolog와 Snobol 4의 단일화 개념

본문내용

논리형 프로그래밍

1.논리형 프로그래밍의 특성

수학적 논리와 논리가 사용되는 프로그램밍 언어를 논리형 언어라 한다. 논리 문장은 주로 프로그래밈이 언어구문구조의 의미를 기술하는데 사용되고, 또한 형식 명세어나 수학적 방법으로 프로그램의 정확성을 증명하는데 사용된다. 논리의 원리는 이밖에 수학적 정리를 증명하는 프로그램 작성에 사용되어 왔다. 따라서 논리 문장은 제한된 형태에 있어서 프로그래밍 언어라 할 수 있다. 이 언어는 인공지능과 프로토타입핑 언어로 많이 이용되고 있다.
집합이론을 프로그래밍 언어로 전환하기 위한 시도가 SETL이라는 언어를 탄생시켜 정형화와 계산 및 이산수학 학습에 이용되었으나 구현의 어려움 때문에 중단되었다. 논리 프로그래밍에서 사용되는 논리는 first-order predicate calculus(일차 술어해석)로 논리문장을 정형적으로 표현하고 있다.

참고 자료

프로그래밍 언어론 -정익사-
인터넷 자료
*원하는 자료를 검색 해 보세요.
  • [프로그래밍언어] 논리 프로그래밍 10페이지
    4일 논리 프로그래밍 ■ 주요내용 및 목차 1. 논리 프로그래밍 ... ■ 논리 프로그래밍의 개요 논리 프로그래밍의 배경 : 프로그래밍 ... . 논리 프로그래밍의 목적 : 실행 가능한 기술(executable
  • [프로그래밍, 컴퓨터, 컴퓨터언어]논리 프로그래밍 20페이지
    목 차 ■ 논리 프로그래밍.2 1. 논리 프로그래밍.2 2 ... . WHAT과 HOW.3 3. 논리 프로그래밍은 잠정적인 결론.4 4. 비절차 ... 개념.13 4. Prolog의 개발환경.19 ■ 논리 프로그램의 응용
  • [공학]논리 프로그래밍 조사 16페이지
    논리 프로그래밍 언어는 간단하게 말한다면 수학적인 논리프로그래밍 ... 언어라고 할 수 있다. 논리 프로그래밍은 실행 가능한 기술 ... 목 차 Ⅰ. 서 론2 Ⅱ. 본 론2 1. 명령, 함수 언어와 논리
  • 논리프로그래밍 9페이지
    논리 프로그래밍 1. WHAT 과 HOW 소프트웨어의 개발과정에서의 ... . 논리 프로그래밍은 소프트웨어 개발시 요구 명세에 더 집중해야 되며 ... 프로그래밍은 실행 가능한 명세를 작성하기 위한 수단으로 제공한다. 논리
  • [프로그래밍언어] 논리프로그래밍 10페이지
    논리 프로그래밍 언어 1. 소개 추론과 증명의 과학으로서 논리 ... . 논리 문장은 프로그래밍 언어 구문 구조의 의미를 기술하는 데 사용할 수 ... . 논리언어란 Prolog(Program In Logic)을 변경하여
  • [프로그래밍 언어론] 논리 프로그래밍이란? 11페이지
    제공하게 하는 것, 논리 프로그래밍 언어, 특히 Prolog는 이런 목적을 ... { 논리{ 프로그래밍이란? 1) 논리 프로그래밍 언어란? ⇒ 수학적 ... 논리논리가 사용되는 프로그래밍 언어를 논리 언어라 한다. 논리
  • 논리 프로그래밍 12페이지
    REPORT (논리 프로그래밍) 과 목 명 : 프로그래밍 언어개념 ... . Prolog와 Snobol4의 단일화 개념 - 참고문헌 - □ 논리 ... 프로그래밍 언어란? 수학적 논리논리가 사용되는 프로그래밍 언어를 논리
더보기

이 자료와 함께 구매한 자료

      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      4. 지식포인트 보유 시 지식포인트가 차감되며
         미보유 시 아이디당 1일 3회만 제공됩니다.
      상세하단 배너
      최근 본 자료더보기
      상세우측 배너
      상세우측 배너
      상세우측 배너
      추천도서
      [프로그래밍 언어] 논리형 프로그래밍
      하나은행 통장 개설 이벤트 오늘 하루 보지 않기 닫기
      ?>
      닫기