논리 프로그래밍이란 무엇입니까? (사진과 함께)

논리 프로그래밍은 프로그래머가 컴퓨터에서 수학 알고리즘 사용과 같은 수학 논리를 사용하여 결정을 내리는 방법에 대한 컴퓨터 명령을 제공해야하는 컴퓨터 프로그래밍 유형입니다. 컴퓨터 프로그램은 컴퓨터에 수행 할 작업을 알려주는 코드로 구성됩니다. 그러나 결과적으로 컴퓨터는 진행 방법에 대한 결정을 내려야하는 인스턴스가 발생하며이를 수행하는 방법에 대한 정보가 없으면 현재 기능을 완료 할 수 없습니다. 논리 프로그래밍은 이러한 유형의 결정을 처리하고 컴퓨터에 명령을 제공하므로 특정 상황에 가장 잘 대응하는 방법에 대한 "논리적"결정을 내릴 수 있습니다. 논리 프로그래밍이 작동하기 위해서는 코드를 작성하는 프로그래머가 자신의 진술이 이해되고 사실이어서 논리적인지 확인해야하며 정리 증명 자로 알려진 컴퓨터 프로그램은 프로그래머가 직면 한 진술에 따라 결정을 내려야합니다. 암호.

정리 증명자는 정리로 알려진 수학적 진술을 해결하도록 설계된 컴퓨터 프로그램을 말합니다. 정리는 이전 진술을 기반으로 사실로 표시된 진술입니다. 논리 프로그래밍에서 정리 증명자는 컴퓨터 프로그래머가 만든 문장과 함께 작동하여 결론에 도달합니다. 예를 들어, 코드에서 A가 B와 같고 B가 C와 같다고 정리하면 이론가는 A가 C와 같아야한다는 논리적 인 결론을 내릴 것입니다.이 과정은 프로그래머가 컴퓨터에 단순히 컴퓨터 프로그램이 정리 증명 자와 코드에서 프로그래머의 원래 진술을 사용하여이 결론을 도출해야하기 때문에 A는 C와 동일하다.

이론적으로 논리적 프로그래밍이 작동하려면 프로그래머는 자신의 진술이 올바른지 확인하고 정리 증명 작성자는 프로그램이 진술을 읽고 가장 효율적인 결정을 내릴 수 있도록해야합니다. 효율적인 결정을 내릴 수있는 능력을 "논리적으로"기능하는 컴퓨터라고합니다. 실제로 두 가지 작업 분야가 겹치며 논리 프로그래밍을 수행하는 사람들은 종종 원하는 결과를 달성하기 위해 정리 증명자가 작동하는 방식에 따라 코드를 변경하고 조작해야합니다. 특정 결정을 내리는 방법에 대한 정확한 진술을하는 것만으로는 컴퓨터가 올바른 기능을 수행하기에 충분하지 않을 수 있으며, 프로그래머는 코드를 테스트하고 그에 따라 조정해야합니다.

논리 프로그래밍이 작동하려면 역 추론에 의존합니다. 역 추론에서 프로그램은 일련의 데이터를보고보다 일반적인 결론에 도달하기 위해 일반적인 알려진 진술을 사용하여 결론을 내립니다. 프로그램은 두 가지 정보가 사실임을 알 수 있으며,이 두 가지 정보가 참이므로 세 번째 정보도 참임을 의미합니다. 주어진 정보를 기반으로 논리적 결론에 도달 할 때까지이 프로세스를 계속합니다. 작동 방식으로 인해 논리적 프로그래밍은 선언적 표현 언어로 작성됩니다. 즉, 프로그램은 컴퓨터에 수행해야 할 작업을 알려주지 만 요청 된 절차를 수행하는 가장 논리적이거나 효율적인 방법을 결정하기 위해 정리 증명 자에게 맡깁니다.