GNU Prolog (64-bit)

GNU 프롤로그 유한 도메인을 통해 해결하는 제약 조건 무료 프롤로그 컴파일러입니다. GNU 프롤로그 제약 프로그램과 프롤로그를 받아 (GCC는 C 소스에서하는 것처럼) 네이티브 바이너리를 생성합니다. 얻어진 실행은 독립형된다. GNU 프롤로그가 가장 사용되지 않는 내장 술어의 코드를 연결하지 않도록 할 수 있기 때문에이 실행 파일의 크기는 작을 수있다. GNU 프롤로그의 공연은 매우 고무 (상용 시스템에 비해)입니다. 네이티브 코드 컴파일 옆에, GNU 프롤로그는 디버거 고전 인터프리터 (최상위)를 제공합니다.

프롤로그 부분은 연습에 매우 유용 많은 확장과 프롤로그에 대한 ISO 표준을 준수 (전역 변수, OS 인터페이스 및 소켓). GNU 프롤로그는 해석 유한 도메인 (FD)를 통해 효율적인 제약 조건을 포함한다. 이것은 논리 프로그래밍의 declarativity 제약 프로그래밍에 전력을 조합하여 사용자에게 제약 논리 프로그래밍을 연다. 특징은 프롤로그와 C, 네이티브 코드 컴파일러 단독 실행 파일을 서 생산, 다양한 파일을 받아 간단한 명령 줄 컴파일러, 미리 정의 사이의 원자에 완료, 양방향 인터페이스와 대화 형 인터프리터에서 프롤로그에 대한 ISO 표준, 행 편집 기능을 준수 포함 제약 :. 산술 제약, 부울 제약, 상징적 인 제약 조건 및 구체화 제약, 미리 정의 된 열거 추론하고, 사용자가 자신의 새로운 제약 조건을 정의 할 수 있습니다