논리형(logic) 프로그래밍

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

선언형 프로그래밍의 일종으로 볼 수 있으며, 기호 논리를 기반으로 한다.
H if B1 and … and Bn. 이런형태