| 버전 | 8.1 |
|---|---|
| 발행자 | KopecSoft |
| 출시일 | 2014. 2. 24. |
| 추가 된 날짜 | 2014. 2. 24. |
| OS 요구 사항 | Mac OS X 10.9, Mac OS X 10.5, Mac OS X 10.8, Mac OS X 10.6 Intel, Macintosh, Mac OS X 10.4, Mac OS X 10.6, Mac OS X 10.4 Intel, Mac OS X 10.7, Mac OS X 10.5 Intel |
| 요구 사항 | None |
| 총 다운로드 | 946 |
| 가격 | Free to try |
기술
다재다능하고 효율적인 제약 논리 프로그래밍(CLP) 시스템인 B-Prolog에 오신 것을 환영합니다! B-Prolog는 Afany Software(New York), KLS(Tokyo) 및 NandaSoft(Nanjing)에서 제공합니다.
CLP의 탄생은 프로그래밍 언어 역사의 이정표입니다. CLP는 논리 프로그래밍과 제약 조건 해결이라는 두 가지 선언적 프로그래밍 패러다임을 결합합니다. 선언적 특성은 컴퓨터 지원 설계 및 검증, 데이터베이스, 데이터 마이닝, 소프트웨어 엔지니어링, 최적화, 구성, 그래픽 사용자 인터페이스 및 언어 처리를 포함한 수많은 응용 프로그램에서 매력적인 것으로 입증되었습니다. 소프트웨어 개발의 생산성과 소프트웨어 유지 보수성을 크게 향상시킵니다. 또한 효율적인 제약 조건 해결, 메모리 관리 및 컴파일 기술을 사용할 수 있기 때문에 CLP 프로그램은 절차 언어로 작성된 프로그램보다 더 효율적일 수 있습니다.
