https://tcatmon.com/w/index.php?action=history&feed=atom&title=Prolog 2026-07-18T03:01:00Z 이 문서의 편집 역사 MediaWiki 1.28.0 https://tcatmon.com/w/index.php?title=Prolog&diff=19559&oldid=prev 2017-01-19T12:03:18Z

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

Maintenance script