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

등록일 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(일차 술어해석)로 논리문장을 정형적으로 표현하고 있다.

참고 자료

프로그래밍 언어론 -정익사-
인터넷 자료
*원하는 자료를 검색 해 보세요.
  • [프로그래밍 언어론] 논리형 프로그래밍이란? 11페이지
    논리형 프로그래밍 언어란? 수학적 논리와 논리가 사용되는 프로그래밍 언어를 논리형 언어라 한다. 논리 문장은 주로 프로그램이 언어 구문구조의 의미를 기술하는데 사용되고, 또한 형식 명제어나 수학적 방법으로 프로그램의 정확..
  • [프로그래밍, 컴퓨터, 컴퓨터언어]논리형 프로그래밍 20페이지
    3. 논리형 프로그래밍은 잠정적인 결론 명령형 언어나 함수 프로그래밍 언어들은 모두 절차적 특성을 가진다. 즉 이 언어들은 문장들이나 함수를 어떤 순서로 나열하여 문제의 해를 구할 것인가를 기술한다. 한편 ..
  • 프로그래밍 언어의 종류와 특징 16페이지
    ☆ 자료형 1. 논리형 자료형 boolean (1byte, 입출력 범위 : true /false) 사용 예) boolean bool = false; (`false` 나 "false" 라고 하면 안됌) 논리형 자..
  • [공학]논리형 프로그래밍 조사 16페이지
    Ⅰ. 서 론 논리형 프로그래밍 언어는 간단하게 말한다면 수학적인 논리가 프로그래밍 언어에 사용되는 것을 말한다. 문장 자체가 언어 구문 구조의 의미를 기술하는데 사용되고 있으며 형식 등이 수학의 증명 방법처럼 정확하게..
  • 논리형프로그래밍 9페이지
    논리형 프로그래밍 1) 배경 ·프로그래밍 언어들의 수준이 점점 높아져 가고 있어 프로그래머에게 무한한 창조성을 요구하게 되어 많은 시간이 소요되고 비경제적이며, 오류를 발생시키는데, 그 원인은 종래의 컴퓨터들에서 선언적 기..

이 자료와 함께 구매한 자료

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