B-프롤로그, 다양하고 효율적인 제약 논리 프로그래밍 (CLP) 시스템에 오신 것을 환영합니다! B-프롤로그 Afany 소프트웨어 (뉴욕), KLS (도쿄), 및 NandaSoft (난징)에 의해 당신에게 가져됩니다. 로
CLP의 탄생은 프로그래밍 언어의 역사에서 이정표입니다. 논리 프로그래밍 및 제약 조건 해결 : CLP 두 선언적 프로그래밍 패러다임을 결합한다. 선언적 특성상 컴퓨터 이용 설계 및 검증, 데이터베이스, 데이터 마이닝, 소프트웨어 공학, 최적화, 설정, 그래픽 사용자 인터페이스, 및 언어 처리 등 다양한 용도로 매력적 입증되었다. 대폭 소프트웨어 개발 및 유지 관리 소프트웨어의 생산성을 향상시킨다. 또한, 때문에 효율적인 제약 조건 해결, 메모리 관리, 편집 기술의 가용성, CLP 프로그램은 그들의 대응은 절차 적 언어로 작성된 것보다 더 효율적일 수있다
이 릴리스의 새로운 기능입니다.
지원 UTF-8.
새로운 내장 기능 : getpid / 1, bp_current_resource / 1.
버그 수정 및 개선 사항 :
로
계획
로
/ 3 사이.
로
/ 3를 뺍니다.
로
곱셈 제약
댓글을 찾을 수 없습니다