프롤로그 언어의 세 가지 기본 진술은 무엇입니까?

프롤로그 언어의 세 가지 기본 진술은 사실, 규칙 및 쿼리이며 머리가 있는 HORN 절과 머리가 없는 HORN 절에 해당합니다. 따라서 PROLOG 언어의 프로그래밍은 사실을 알리고 규칙을 정의하고 쿼리를 제기하는 것으로 축소될 수 있습니다.

이 문서의 운영 환경: Windows 7 시스템, Dell G3 컴퓨터.

Prolog(Programming in Logic의 약어)는 논리 프로그래밍 언어입니다. 논리학의 이론적 기초를 바탕으로 자연어 등의 연구분야에서 처음으로 사용되었습니다.

프롤로그 소개

논리 프로그래밍 언어. 1972년 프랑스 Comolaue 그룹은 축소 방법의 실행 효율성을 향상시키기 위해 PROLOG(Programming In Logic)라는 정리 증명 프로그램용 프로그램 실행기를 개발하여 최초의 논리 프로그래밍 언어인 PROLOG의 탄생을 알렸습니다. 1974년 이후 R. Kowalski는 술어 논리의 HORN 절의 관점에서 PROLOG의 이론적 기초를 더욱 명확하게 하고 논리 프로그래밍의 개념을 체계적으로 제안했습니다.

PROLOG 언어에는 세 가지 유형의 기본 명령문이 있는데, 이는 각각 사실, 규칙, 문의를 나타내며 머리(몸 없음, 본문) 및 머리 없는 HORN 절에 해당합니다. 예:

따라서 PROLOG 언어 프로그래밍은 사실 선언, 규칙 정의 및 질문으로 귀결됩니다.

PROLOG 프로그램의 설명 및 실행 과정은 특정 입력 축소를 사용합니다. 즉, 대상 명령문에서 시작하여 해당 축소식과 원래 절 세트의 절을 찾고(꼬리와 머리가 일치), 그런 다음 새 절을 원래 절 집합과 비교하여 절의 축약형을 찾습니다. 두 개의 파생 조항이나 원래 조항 세트의 두 조항 사이에는 축소가 발견되지 않습니다. 위의 예에서

⑥: -human(u), Greek(u) (4와 5의 환원식, mgu=u/x)

7: -greek(socarates) (2와 5의 환원식) ⑥, mgu= socarates/u)

8: - (3과 7을 축소하면 빈 절이 됩니다.)

질문에 대한 답은 u=socarates입니다. PROLOG 설명 시스템은 실제로는 환원 원리에 기초한 정리 증명 프로그램 또는 문제 해결 프로그램임을 알 수 있다.

낮은 시공간 효율성은 PROLOG 언어 적용에 영향을 미치는 중요한 문제입니다. 효율성을 높이는 방법은 PROLOG 해석 시스템 개선, PROLOG 컴파일 시스템 채택, PROLOG 기계 개발, 제어를 위한 메타 규칙 도입, 휴리스틱 검색 사용입니다. 지능형 역추적을 가능하게 하는 방법은 협업 및 동시 해결 기술을 사용하여 병렬 처리 메커니즘을 개발합니다.

PROLOG 인터프리터는 추론 규칙을 기반으로 문제에 대한 해결책을 자동으로 찾을 수 있기 때문에 프로그래머는 프로세스의 세부 사항에 대해 너무 많이 생각할 필요 없이 객체 간의 논리적 관계를 드러내는 데 집중할 수 있습니다. 이것이 자동 프로그래밍의 방향입니다. . 그러나 PROLOG 언어에는 비논리적인 기능도 있습니다. 예를 들어, 역추적을 제어하기 위해 CUT 기술이 사용됩니다(프로그래머가 CUT 기호를 사용한다는 의미인 컷오프 기술! 과거에 수행되었던 불필요한 검색 경로를 더 이상 고려하지 않고 검색 경로를 검색하지 않도록 시스템에 알리는 기술). 역추적 지점을 기록해야 함), 조건자 주장(데이터베이스 add 절에 있음) retract(데이터베이스에서 삭제 절)를 도입합니다. 이로 인해 추론 과정에서 시스템의 공리 집합이 변경되어 동일 순서 논리의 기본 아이디어와 일치하지 않습니다. 따라서 PROLOG는 엄밀한 의미에서 논리 프로그래밍 언어가 아닙니다. 보다 논리적으로 만들기 위해서는 언어의 비논리적 구성요소를 최소한으로 제한할 필요가 있으며, 이 분야에 대한 연구가 진행 중이다.

추천: "프로그래밍 비디오"

위 내용은 프롤로그 언어의 세 가지 기본 진술은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!