- Prolog은 단순하고 선언적인 로직 프로그래밍 언어로, Homoiconic하며 매우 동적입니다.
- Prolog의 문법은 이해하고 사용하기 쉬우며, 모든 데이터는 Prolog 용어와 '절(clause)'이라는 단일 언어 요소로 표현됩니다.
- Prolog에서의 절은 'Head :- Body' 형태로, Body가 유효하면 Head도 유효하다는 것을 의미합니다.
- Prolog은 튜링 완전성을 가진 프로그래밍 언어로, 모든 알려진 계산을 그 절로 설명할 수 있습니다.
- 선언적 언어로서 Prolog은 우리가 관심 있는 것을 명시하고, 찾고자 하는 해결책에 대해 무엇이 유효한지를 표현하는 데 초점을 맞춥니다.
- Prolog의 선언적 특성은 매우 간결하고 명확하며 일반적인 명세를 가능하게 합니다.
- Prolog은 로직 프로그래밍 언어로, 순수 Prolog 프로그램은 Horn 절의 집합으로 구성되며, 그 실행은 resolution의 특별한 경우로 간주될 수 있습니다.
- Prolog은 Homoiconic 언어로, Prolog 프로그램이 유효한 Prolog 용어이기도 합니다. 이는 다른 Prolog 프로그램을 분석, 변환, 해석하는 Prolog 프로그램을 쉽게 작성할 수 있게 합니다.
- Prolog은 매우 동적인 언어로, 프로그램을 쉽게 생성, 호출, 수정할 수 있습니다.
- Prolog의 동적 특성은 다른 프로그래머와 일반 사용자가 제공하는 사용자 정의 규칙으로 확장 가능한 프로그램을 작성하는 데 이상적입니다.
- Prolog은 매우 다재다능한 언어로, 그 관계적 특성으로 인해 Prolog 프로그램이 매우 유연하고 일반적입니다.
- Prolog의 다재다능성과 힘은 검색, 통합, 인수 색인화, 제약 전파를 포함하는 암시적 메커니즘에 근거하고 있습니다.