GNU Prolog (64-bit)

기술

GNU Prolog는 유한 도메인에 대한 제약 조건을 해결하는 무료 Prolog 컴파일러입니다. GNU Prolog는 제약 프로그램이 있는 Prolog를 수락하고 기본 바이너리를 생성합니다(gcc가 C 소스에서 수행하는 것처럼). 획득한 실행 파일은 독립 실행형입니다. 이 실행 파일의 크기는 GNU Prolog가 사용하지 않는 내장 술어의 코드를 연결하는 것을 피할 수 있기 때문에 작을 수 있습니다. GNU Prolog의 성능은 매우 고무적입니다(상업 시스템과 비교). 네이티브 코드 컴파일 외에도 GNU Prolog는 디버거와 함께 클래식 인터프리터(최상위 수준)를 제공합니다.

Prolog 부분은 실제로 매우 유용한 많은 확장(전역 변수, OS 인터페이스 및 소켓)과 함께 Prolog에 대한 ISO 표준을 따릅니다. GNU Prolog에는 FD(Finite Domains)에 대한 효율적인 제약 솔버도 포함되어 있습니다. 이것은 제약 프로그래밍의 힘을 논리 프로그래밍의 선언성에 결합하는 제약 논리 프로그래밍을 사용자에게 엽니다. 기능에는 Prolog에 대한 ISO 표준 준수, 원자에 대한 완성 기능이 있는 대화형 인터프리터 아래의 라인 편집 기능, Prolog와 C 간의 양방향 인터페이스, 독립 실행형 실행 파일을 생성하는 네이티브 코드 컴파일러, 다양한 파일을 수용하는 간단한 명령줄 컴파일러, 사전 정의된 기능이 포함됩니다. 제약 조건: 산술 제약 조건, 부울 제약 조건, 기호 제약 조건 및 구체화된 제약 조건, 사전 정의된 열거 휴리스틱 및 사용자는 자신의 새로운 제약 조건을 정의할 수 있습니다.