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

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