Prolog

Prolog는 선언형 논리 프로그래밍 언어예요. 술어(predicate)·통일(unification)·백트래킹을 바탕으로 지식 표현과 추론에 강점을 가지며, GNU Prolog는 정적 매뉴얼이 공식 문서 역할을 합니다. 문법·데이터형·산술·리스트·항 조작·FD 제약 솔버(constraint solver)·스트림 I/O·C 언어 연동·디버깅 등을 장별로 다룹니다.