차례:
정의-프롤로그 란 무엇입니까?
프로그래밍 ko Logique (논리 프로그래밍) 또는 Prolog는 1 차 논리 또는 1 차 술어 미적분에 뿌리를 둔 고급 프로그래밍 언어입니다. 이 언어는 1970 년대 초 프랑스 마르세이유에서 Alain Colmerauer가 이끄는 그룹에 의해 고안되었습니다. 그것은 첫 번째 논리 프로그래밍 언어 중 하나이며 오늘날에도 여전히 인기가 있습니다. 이 언어는 컴퓨터 언어 및 인공 지능과 일반적으로 관련된 프로그래밍 언어이며 전문가 시스템, 자연 언어 구문 분석 트리 및 자연 언어 처리에 대한 이론 증명 및 패턴 일치에 사용됩니다.
Techopedia는 Prolog를 설명합니다
첫 번째 프롤로그 시스템은 Colmerauer가 Philippe Roussel과 함께 1972 년에 개발했으며 Robert Kowalski의 절차에 따른 혼 조항에 기초합니다. 또한 절차 적 지식 표현과 함께 선언적 지식 표현 언어로 논리 사용을 조정하려는 욕구에 의해 부분적으로 동기가 부여되었습니다. 프롤로그는 컴퓨터와 인간 (자연) 언어 상호 작용과 관련된 자연 언어 처리를 위해 의도적으로 개발되었습니다.
프롤로그는 명령 시퀀스가 아니라 선언적이므로 다른 프로그래밍 언어와 다릅니다. 때로는 규칙 기반 또는 선언적 언어라고도합니다. 사실과 규칙으로 표시되는 객체 속성 간의 관계 측면에서 표현되기 때문입니다. 이러한 관계에 대해 쿼리를 실행하면 계산이 시작됩니다.
응용 분야는 다음과 같습니다.
- 기계 학습
- 로봇 계획
- 자동 추론
- 문제 해결
- 지능형 데이터베이스 검색
- 자연어 이해
- 사양 언어
