논리 프로그래밍이란 무엇입니까?

논리 프로그래밍 은 프로그램 문이 공식 논리 시스템에서 문제에 대한 사실과 규칙을 표현하는 컴퓨터 프로그래밍 패러다임입니다. 규칙은 머리와 본문이있는 논리 절로 작성됩니다. 예를 들어 B1, B2 및 B3이 참이면 "H"가 참입니다. 사실은 규칙과 유사하지만 신체가없는 표현입니다. 예를 들어, "H는 사실입니다."

Datalog 및 ASP (Answer Set Programming)와 같은 일부 논리 프로그래밍 언어는 순전히 선언적입니다. 즉, 수행 방법에 대한 명시적인 단계별 지침없이 프로그램이 수행해야하는 것에 대한 설명을 허용합니다. 프롤로그 (Prolog)와 같은 다른 것들은 선언적이고 필수적이다. "H를 풀고 B1, B2, B3를 푸는 것"과 같은 절차 적 진술을 포함 할 수도있다.