프롤로그 언어의 세 가지 기본 문은 다음과 같습니다

프롤로그 언어의 세 가지 기본 문은 사실입니다. 규칙; 묻다.

프롤로그 언어 (논리 프로그래밍 언어) 는 일반적으로 논리 프로그래밍 언어를 나타냅니다. Prolog(Programming in logic) 는 1972 년 콜멜렌너 (Colmeraner) 와 그 연구팀이 프랑스 마르세유 대학에서 제안한 연역적 추리를 위한 논리적 프로그래밍 언어입니다. < /p>

Prolog 는 1 차 술어 계산을 배경으로 간단한 문법, 풍부한 표현력, 독특한 비절차적 언어의 특징으로 인간의 사고와 추리 규칙을 표현하기에 적합하여 인공지능 연구와 응용 개발자의 광범위한 관심을 불러일으켰다. < /p>

특히 서유럽과 일본에서는 프롤로그 언어가 관계형 데이터베이스, 수학 논리, 추상 문제 해결, 자연어 이해, 전문가 시스템 등 많은 애플리케이션에 널리 사용되고 있습니다. 일본은 또한 1979 년 제출한 5 세대 컴퓨터 연구 프로그램에서 프롤로그를 핵심 언어로 꼽았다.

프롤로그는 실제로 역규칙에 기반한 연역적 추리 기술이지만 규칙과 목표의 표현에 엄격한 제한이 있다. 연역적 추리 제어 메커니즘 자체의 단순성까지 더해져 복잡한 응용 분야에 적용하기가 어렵다. < /p>

특징

프롤로그 언어의 구문 구조는 간단하지만 설명 능력은 뛰어나다. 예를 들어, 사실과 규칙이 어떤 학과의 공리를 묘사할 때. 그렇다면 문제는 증명할 명제이다. 사실과 규칙이 특정 데이터와 관계를 설명할 때 문제는 데이터 질의문입니다. 사실과 규칙이 어떤 상태 변화의 법칙을 묘사할 때, 문제는 목표 상태이다. < /p>

따라서 프롤로그 언어는 지능형 프로그래밍 언어입니다. 프롤로그 프로그램에는 특정 실행 순서가 없으며, 프로그램 실행 순서는 수학 논리에 의해 파생된 방식으로 진행됩니다. 프로그래머에 의해 결정되는 것이 아닙니다. 프롤로그는 특정 방법으로 문제를 설명한 다음 컴퓨터가 자동으로 이 질문에 대한 답을 찾는 설명 언어입니다. < /p >