B-프롤로그, 다양하고 효율적인 제약 논리 프로그래밍 (CLP) 시스템에 오신 것을 환영합니다! B-프롤로그 Afany 소프트웨어 (뉴욕), KLS (도쿄), 및 NandaSoft (난징)에 의해 당신에게 가져됩니다. 로 CLP의 탄생은 프로그래밍 언어의 역사에서 이정표입니다. 논리 프로그래밍 및 제약 조건 해결 : CLP 두 선언적 프로그래밍 패러다임을 결합한다. 선언적 특성상 컴퓨터 이용 설계 및 검증, 데이터베이스, 데이터 마이닝, 소프트웨어...
