논리 언어 (logic language)

논리 언어(logic language)
술어논리(predicate logic)에 기초한다.
술어 논리는 공리와 규칙으로 새로운 사실을 추론
논리프로그램의 구성 : 논리 프로그램은 공리, 사실, 추론 규칙, 증명할 정리나 질의
어떠한 질의가 있게되면 주어진 공리와 사실로부터 추론 규칙에 따라 그 질의가 참인지 거짓인지를 결정하여 그 값을 출력. 논리 프로그램에는 어떠한 사실이나 사실들간의 관계를 나타내주는 선언문만이 나타나게 된다.

실행 순서는 필요 없이 사실이나 관계만을 선언하면 되므로 논리 프로그래밍을 선언형 프로그래밍(declarative programming)이라고 한다. 여러 종류의 논리 프로그래밍 언어가 개발되었으나 현재 쓰이고 있는 것은 Prolog뿐이다.