논리형 프로그래밍(영어: logic programming)은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을 둔다. 논리형 프로그래밍에서 볼 수 있는 일종의 논리 문장들은 (반드시 그런 것은 아니지만) 절대 문절 형태로 되어 있다:G if G1 and … and Gn이러한 프로그램들은 이를테면 추론 데이터베이스에서와 같이 순수하게 선언적으로 이해할 수 있다. 그러나 이들은 목표 추론 절차와 같이 절차적으로 이해할 수도 있다.:to show/solve G, show/solve G1 and … and Gn위의 예는 프롤로그의 예이다. 응답 집합 프로그래밍(answer set programming) 분야는 절대 문절 형태가 선택에 의해 확장되는 하나의 예이다.

PropertyValue
dbpedia-owl:abstract
  • 논리형 프로그래밍(영어: logic programming)은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을 둔다. 논리형 프로그래밍에서 볼 수 있는 일종의 논리 문장들은 (반드시 그런 것은 아니지만) 절대 문절 형태로 되어 있다:G if <tt>G1 and … and Gn이러한 프로그램들은 이를테면 추론 데이터베이스에서와 같이 순수하게 선언적으로 이해할 수 있다. 그러나 이들은 목표 추론 절차와 같이 절차적으로 이해할 수도 있다.:to show/solve G, show/solve G1 and … and Gn위의 예는 프롤로그의 예이다. 응답 집합 프로그래밍(answer set programming) 분야는 절대 문절 형태가 선택에 의해 확장되는 하나의 예이다.
  • 논리형 프로그래밍(영어: logic programming)은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을 둔다. 논리형 프로그래밍에서 볼 수 있는 일종의 논리 문장들은 (반드시 그런 것은 아니지만) 절대 문절 형태로 되어 있다:G if G1 and … and Gn이러한 프로그램들은 이를테면 추론 데이터베이스에서와 같이 순수하게 선언적으로 이해할 수 있다. 그러나 이들은 목표 추론 절차와 같이 절차적으로 이해할 수도 있다.:to show/solve G, show/solve G1 and … and Gn위의 예는 프롤로그의 예이다. 응답 집합 프로그래밍(answer set programming) 분야는 절대 문절 형태가 선택에 의해 확장되는 하나의 예이다.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 858100 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 897 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 9 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 10424542 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-ko:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • 논리형 프로그래밍(영어: logic programming)은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을 둔다. 논리형 프로그래밍에서 볼 수 있는 일종의 논리 문장들은 (반드시 그런 것은 아니지만) 절대 문절 형태로 되어 있다:G if <tt>G1 and … and Gn이러한 프로그램들은 이를테면 추론 데이터베이스에서와 같이 순수하게 선언적으로 이해할 수 있다. 그러나 이들은 목표 추론 절차와 같이 절차적으로 이해할 수도 있다.:to show/solve G, show/solve G1 and … and Gn위의 예는 프롤로그의 예이다. 응답 집합 프로그래밍(answer set programming) 분야는 절대 문절 형태가 선택에 의해 확장되는 하나의 예이다.
  • 논리형 프로그래밍(영어: logic programming)은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을 둔다. 논리형 프로그래밍에서 볼 수 있는 일종의 논리 문장들은 (반드시 그런 것은 아니지만) 절대 문절 형태로 되어 있다:G if G1 and … and Gn이러한 프로그램들은 이를테면 추론 데이터베이스에서와 같이 순수하게 선언적으로 이해할 수 있다. 그러나 이들은 목표 추론 절차와 같이 절차적으로 이해할 수도 있다.:to show/solve G, show/solve G1 and … and Gn위의 예는 프롤로그의 예이다. 응답 집합 프로그래밍(answer set programming) 분야는 절대 문절 형태가 선택에 의해 확장되는 하나의 예이다.
rdfs:label
  • 논리형 프로그래밍
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is prop-ko:패러다임 of
is foaf:primaryTopic of