문서 편집 권한이 없습니다. 다음 이유를 확인해주세요: 요청한 명령은 다음 권한을 가진 사용자에게 제한됩니다: 사용자. 문서의 원본을 보거나 복사할 수 있습니다. [[논리 프로그래밍]]을 의미하는 프랑스어 programmation en logique의 준말. 1973년 프랑스 마르세유대학교의 알랭 콜메르(Alan Colmerauer)가 개발한 논리형 [[프로그래밍 언어]]이다. 논리식을 토대로 오브젝트와 오브젝트 간의 관계에 관한 문제를 해결하기 위해 사용한다. 프롤로그에서는 술어 논리식을 프로그램, 증명하는 것을 계산하는 것으로 간주하는 관점에서 새로운 계산의 기술형태를 취하고 있다. 즉, 사실(Fact)과 규칙(Rule)들을 제공하여 데이터베이스를 만들고, 이 데이터베이스에 질의를 함으로써 프로그램을 수행하게 되는 것. 수학에서 정의를 이용해 문제를 증명한다는 식으로 생각하면 쉽다. 추론 기구를 간결하게 표현할 수 있기 때문에 [[인공지능]]이나 계산 언어학 분야, 자연언어 처리 분야 등에서 많이 사용된다. [[분류:프로그래밍 언어]] Prolog 문서로 돌아갑니다.