프로그램별 gprolog.sf.net

GNU 프롤로그는 논리 프로그래밍 언어 PROLOG의 무료 구현(GPL 아래)입니다. 실행이 매우 빠른 기본 컴퓨터 코드로 컴파일할 수 있습니다. 또 다른 기능은 포함된 제약 조건 솔버입니다.