프롤로그 언어 란 무엇입니까?

프롤로그는 논리를 기반으로하는 컴퓨터 프로그래밍 언어입니다. 대부분의 컴퓨터 언어는 문제를 해결하는 데 필요한 단계를 기반으로합니다. 반면에 프롤로그 언어는 엔티티 간의 논리적 관계를 나타내는 "선언적"언어입니다. 문제를 해결하는 방법은 컴퓨터에 맡겨져 있습니다. Prolog라는 이름은 프랑스어 PROgrammation en LOGique, 즉 PROgramming LOGic에서 유래했습니다.

다음은 간단한 프롤로그 프로그램입니다.

조상 (F, C) :-아버지 (F, C)
조상 (P, Q) :-아버지 (P, R), 조상 (R, Q)
아버지 (존, 짐).
아버지 (짐, 제리).
아버지 (제리, 제이슨).
아버지 (제리, 제프).
아버지 (제이슨, 조슈아).

위의 프로그램은 진실을 나타냅니다. F가 C의 아버지 인 경우 F는 C의 조상입니다. P가 Q의 조상 인 R의 아버지 인 경우 P는 Q의 조상입니다. 그런 다음과 같은 여러 가지 사실이 제공됩니다 존은 짐의 아버지입니다. 그러면 john이 jeff의 조상인지 여부에 관한 문제가 제기되면 다음과 같이 "예"라는 응답을받습니다.

조상 (john, jeff).
예

조슈아의 조상이 관심이 있다면 프로그램은 다음과 같이 모든 조상을 표시합니다.

조상 (A, 조슈아)
A = 제이슨
A = 제리
A = 짐
A = 존

위의 두 경우 모두 프로그램에서 평가 방법을 알려주지 않았습니다. 예를 들어, 나이가 많은 사람부터 시작하여 더 젊은 사람에게 길을 갈 것인지 또는 그 반대로 할 것인지를 나타내지 않았습니다. 다음과 같이 부품을 교환하십시오.

조상 (P, Q) :-조상 (R, Q), 아버지 (P, R)

왼쪽이 참이 되려면 오른쪽에있는 두 부분이 모두 참이어야하므로 프로그램에는 아무런 차이가 없습니다.

따라서 프롤로그 언어는 문제를 해결하는 방법이 아니라 관계에 중점을 둡니다. 프로그램 실행 중에 Prolog는 여러 가지 실제 문장을 작성하여 지식 기반을 만듭니다. 위의 예에서 지식 기반에는 특별한 순서가없는 조상 (john, jim), 조상 (jim, jerry), 조상 (john, jerry), 조상 (jim, jason), 조상 (john, jason)이 있으며, 등등. 이 기술 자료는 프로그램이 실행됨에 따라 계속 구축 될 수 있으며 솔루션을 얻기 위해 효율적으로 검색 될 수 있습니다. 실행은 병렬 처리, 여러 컴퓨터에 의한 동시 실행을 사용할 수 있습니다.

프롤로그 언어는 여러 영역에서 사용됩니다. 영어와 같은 자연어를위한 시스템에서 시작되었습니다. 자연어는 인공 지능 분야 중 하나입니다. 프롤로그 언어는 대수를 포함한 상징적 수학에도 사용됩니다. 그것은 많은 다른 응용들 중에서 이론, 전문가 시스템 및 제어 시스템을 증명하는데 사용됩니다.