B-Prolog for Mac.

Darwin 용 프롤로그 컴파일러.
지금 다운로드

B-Prolog for Mac. 순위 및 요약

광고

  • Rating:
  • 가격:
  • Free to try
  • 게시자 이름:
  • By KopecSoft
  • 운영체제:
  • 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

B-Prolog for Mac. 태그


B-Prolog for Mac. 설명

B-Prolog에 오신 것을 환영합니다, 다재다능하고 효율적인 제약 조건 프로그래밍 (CLP) 시스템! B-Prolog는 Afany Software (New York), KLS (도쿄) 및 Nandasoft (난징)가 제공합니다. CLP의 탄생은 프로그래밍 언어의 역사에서 이정표입니다. CLP는 두 개의 선언적 프로그래밍 패러다임을 결합합니다 : 논리 프로그래밍 및 제약 조건 해결. 선언적 성격은 컴퓨터 지원 설계 및 검증, 데이터베이스, 데이터 마이닝, 소프트웨어 엔지니어링, 최적화, 구성, 그래픽 사용자 인터페이스 및 언어 처리를 포함한 수많은 응용 프로그램에서 호소하는 것으로 입증되었습니다. 소프트웨어 개발 및 소프트웨어 유지 보수성의 생산성을 크게 향상시킵니다. 또한 효율적인 제약 조건, 메모리 관리 및 컴파일 기술의 가용성으로 인해 CLP 프로그램은 절차 언어로 작성된 대응 파트보다 효율적일 수 있습니다.


B-Prolog for Mac. 관련 소프트웨어

회사 소개