답변:
인공 지능은 오랫동안 학문적 인 노력을 기울 였음을 기억하면서 프롤로그는 연구와 구현의 일부로 사용 된 초기 언어 중 하나였습니다. 유명한 상용 구현이 Watson에 있으며 NLP에 프롤로그가 사용 된다고 말하면서 대형 상용 응용 프로그램에는 거의 적용되지 않았습니다 .
에딘버러 대학은 언어에 기여하고 때때로 "에딘버러 프롤로그"이라고했다. 그것은 여전히 인공 지능 과정의 일부로 학술 교육에 사용됩니다 .
AI에서 Prolog가 강력한 것으로 간주되는 이유는 언어가 재귀 방법 및 패턴 일치를 쉽게 관리 할 수 있기 때문입니다.
IBM Thomas J. Watson Research Center의 Adam Lally 와 Stony Brook University의 Paul Fodor 를 인용하십시오 .
프롤로그 언어는 재귀 규칙이 구문 분석 트리에서 도달 가능성을 표시하고 조건 부재를 점검하기위한 실패로 부정 조작을 표시 할 수 있도록 매우 표현 적입니다.
예, 다른 답변에서 언급했듯이 Prolog는 실제로 IBM Watson에서 사용됩니다. Prolog는 요즘 많은 "hype"와 "buzz"를 얻지 못하지만 절대적으로 여전히 사용됩니다. 항상 그렇듯이, 특정 특정 영역과 그 사용에 잘 맞는 특정 기술이 있습니다. 특히, 유도 논리 프로그래밍 , 구속 논리 프로그래밍 , 답변 세트 프로그래밍 및 일부 NLP 응용 프로그램 과 같은 것들 에는 광범위한 Prolog 사용이 포함될 수 있습니다.