Logic programming

논리형 프로그래밍(영어: logic programming)은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을 둔다.

논리형 프로그래밍에서 볼 수 있는 일종의 논리 문장들은 (반드시 그런 것은 아니지만) 절대 문절 형태로 되어 있다.

Language

• Prolog

Favorite site

• Wikipedia (en) 논리형 프로그래밍에 대한 설명