프롤로그
논리 프로그래밍 언어로, 사실(facts)과 규칙(rules)을 정의하고 이에 대한 질의를 수행하는 데 특화되어 있다. 법률 조항을 실행 가능한 코드로 변환하여 복잡한 조건부 논리를 계산하는 심볼릭 솔버(Symbolic Solver)의 핵심 도구로 사용된다.