![](http://i.zaptech.net/img/definition/738/what-is-logic-programming.jpg)
Datalog 및 ASP (Answer Set Programming)와 같은 일부 논리 프로그래밍 언어는 순전히 선언적입니다. 즉, 수행 방법에 대한 명시적인 단계별 지침없이 프로그램이 수행해야하는 것에 대한 설명을 허용합니다. 프롤로그 (Prolog)와 같은 다른 것들은 선언적이고 필수적이다. "H를 풀고 B1, B2, B3를 푸는 것"과 같은 절차 적 진술을 포함 할 수도있다.
논리 프로그래밍에 사용되는 언어
- Absys
- ALF (대수 논리 함수 프로그래밍 언어).
- 알고리즘 프로그램 디버깅
- 앨리스
- 알마 - 0
- ASP (응답 세트 프로그래밍)
- 칩
- 차오
- 클락
- 사이클
- 데이터 로그
- 근원적 인
- DLV
- 식
- F 로직
- 플로라 -2
- 프릴
- FuzzyCLIPS
- 괴델
- HiLog
- 야누스
- ñProlog
- 로그 토크
- Maude 시스템
- 수은
- 금속
- 모차르트 프로그래밍 시스템
- 온스
- 파 로우
- 입안자
- 프로 골
- 프롤로그
- 프롤로그 ++
- Prova
- .QL
- 레베 아 모델링 언어
- 지붕
- SICStus Prolog
- SWI-Prolog
- ToonTalk
- 거래 논리
- 십이
- 비주얼 프롤로그
- XSB
언어, 논리, 패러다임, 프로그래밍 용어