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

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

참고 자료

프로그래밍 언어론 -정익사-
인터넷 자료

이 자료와 함께 구매한 자료

*정*
판매자 유형Bronze개인

주의사항

저작권 자료의 정보 및 내용의 진실성에 대하여 해피캠퍼스는 보증하지 않으며, 해당 정보 및 게시물 저작권과 기타 법적 책임은 자료 등록자에게 있습니다.
자료 및 게시물 내용의 불법적 이용, 무단 전재∙배포는 금지되어 있습니다.
저작권침해, 명예훼손 등 분쟁 요소 발견 시 고객센터의 저작권침해 신고센터를 이용해 주시기 바랍니다.
환불정책

해피캠퍼스는 구매자와 판매자 모두가 만족하는 서비스가 되도록 노력하고 있으며, 아래의 4가지 자료환불 조건을 꼭 확인해주시기 바랍니다.

파일오류 중복자료 저작권 없음 설명과 실제 내용 불일치
파일의 다운로드가 제대로 되지 않거나 파일형식에 맞는 프로그램으로 정상 작동하지 않는 경우 다른 자료와 70% 이상 내용이 일치하는 경우 (중복임을 확인할 수 있는 근거 필요함) 인터넷의 다른 사이트, 연구기관, 학교, 서적 등의 자료를 도용한 경우 자료의 설명과 실제 자료의 내용이 일치하지 않는 경우

찾던 자료가 아닌가요?아래 자료들 중 찾던 자료가 있는지 확인해보세요

  • 한글파일 [공학]논리 프로그래밍 조사 16페이지
    논리 프로그래밍 언어는 간단하게 말한다면 수학적인 논리프로그래밍 ... 언어라고 할 수 있다. 논리 프로그래밍은 실행 가능한 기술 ... 목 차 Ⅰ. 서 론2 Ⅱ. 본 론2 1. 명령, 함수 언어와 논리
  • 한글파일 [프로그래밍언어] 논리프로그래밍 10페이지
    논리 프로그래밍 언어 1. 소개 추론과 증명의 과학으로서 논리 ... . 논리 문장은 프로그래밍 언어 구문 구조의 의미를 기술하는 데 사용할 수 ... . 논리언어란 Prolog(Program In Logic)을 변경하여
  • 한글파일 [프로그래밍언어] 논리 프로그래밍 10페이지
    4일 논리 프로그래밍 ■ 주요내용 및 목차 1. 논리 프로그래밍 ... ■ 논리 프로그래밍의 개요 논리 프로그래밍의 배경 : 프로그래밍 ... . 논리 프로그래밍의 목적 : 실행 가능한 기술(executable
  • 한글파일 [프로그래밍, 컴퓨터, 컴퓨터언어]논리 프로그래밍 20페이지
    목 차 ■ 논리 프로그래밍.2 1. 논리 프로그래밍.2 2 ... . WHAT과 HOW.3 3. 논리 프로그래밍은 잠정적인 결론.4 4. 비절차 ... 개념.13 4. Prolog의 개발환경.19 ■ 논리 프로그램의 응용
  • 한글파일 논리프로그래밍 9페이지
    논리 프로그래밍 1. WHAT 과 HOW 소프트웨어의 개발과정에서의 ... . 논리 프로그래밍은 소프트웨어 개발시 요구 명세에 더 집중해야 되며 ... 프로그래밍은 실행 가능한 명세를 작성하기 위한 수단으로 제공한다. 논리
  • 워드파일 프로그래밍언어구조의 이해 연습문제2 6페이지
    . 이것이 함수 프로그래밍으로 개발하려는 핵심 동기중 하나이다. 3. 논리 ... 프로그래밍과 기존의 명령 프로그래밍의 장단점을 논하시오. 논리 ... . 함수 프로그래밍의 특징에 대해 설명하시오. 함수 프로그래밍
  • 한글파일 [프로그래밍 언어론] 논리 프로그래밍이란? 11페이지
    제공하게 하는 것, 논리 프로그래밍 언어, 특히 Prolog는 이런 목적을 ... { 논리{ 프로그래밍이란? 1) 논리 프로그래밍 언어란? ⇒ 수학적 ... 논리논리가 사용되는 프로그래밍 언어를 논리 언어라 한다. 논리
더보기
우수 콘텐츠 서비스 품질인증 획득
최근 본 자료더보기
[프로그래밍 언어] 논리형 프로그래밍