GNU Prolog무료 프롤로그는 컴파일러 제약 조건을 해결을 위한 유한 도메인에 의해 개발되었 다니엘 디아즈니다. GNU Prolog지 프롤로그는 제약 조건 프로그램 및 생산하는 기본 바이너리(gcc 에서 수행하면서 C 소스). 얻어진 실행파일이 다음을 독립니다.
의 크기를 이행할 수 있는 아주 작은 이후GNU Prolog피할 수 있는 링크의 코드를 사용하지 않는 대부분의 내장에서는 조건자니다. 의 공연GNU Prolog은 매우 고무(비교하여 상업적인 시스템). 옆에 있는 기본 코드를 컴파일,GNU Prolog을 제공합적인 대화형 인터프리터(최고 수준)와 디버거합니다.
프롤로그는 부분을 따르는 ISO 표준에 대한 프롤로그로 많은 확장자는 매우 실제 사용하기에는(전역 변수,OS 인터페이스,sockets,)입니다.GNU Prolog도 포함되어 있는 효율적인 제약 조건을 찾기 위한 유한 도메인(FD). 이 contraint 로직 프로그래밍은 사용자의 능력을 조합하여 사용자가 제약 조건을 프로그래밍을 declarativity 의 논리 프로그래밍입니다.
주요 특징:
-Prolog 시스템:
-을 준수하는 ISO 표준에 대한 프롤로그(부동 소수점 번호,시내,다이나믹 코드,)입니다.
-많은 확장자:세계 변수를 명확한 절 grammars(DCG),소켓 인터페이스,운영체제 인터페이스
-300 개 이상의 프롤로그에 내장된 조건자니다.
-프롤로그 디버거와 낮은 수준의 WAM 디버거합니다.
온라인 편집 기능에 대한 통역으로 완료에서 원자를 함유하고 있습니다.
-강력한 양방향 사이의 인터페이스 프롤로그 C.
-컴파일러:
-기본 코드를 컴파일러를 생산하는 혼자 실행파일이다.
-간단한 명령 라인에 컴파일러를 받아들이 다양한 파일의 프롤로그 파일,C 파일 WAM 파일....
-직접적인 세대의 어셈블리 코드를 15 배 이상 빠른 wamcc 습니다.
-의 대부분은 사용하지 않는 건설하는 조건부 연결되지 않은(크기를 줄이의 실행 파일)니다.
컴파일한 조건(기본 코드)로 wamcc 평균니다.
-상담 조건자(바이트 코드)5 배 이상 빠른 wamcc 니다.
-제약 조건 찾기:
-FD 변수를 잘 프롤로그로 통합 환경은(전체와의 호환성 프롤로그는 변수 및 정수). 가 필요없는 명시적 FD 선언합니다.
-매우 효율적인 FD 해석(비교하여 상업적인 해법)니다.
-높은 수준의 제약 조건을 설명할 수 있습의 측면에서 간단한 원형입니다.
-많은 미리 정의된 제약 조건:산 제약,boolean 제약 조건을 상징적 제약,제약 조건을 구체화하고,...
-여러 개의 미리 정의된 추론을 열거합니다.
-사용자 정의할 수 있는 자신의 새로운 제약 조건이 있습니다.
-50 개 이상의 FD 내장된 제약 조건/조건자니다.
댓글