cflp. HASKELL의 제약 조건 작용 - 논리 프로그래밍
지금 다운로드

cflp. 순위 및 요약

cflp. 태그

프로그램 작성 제약 프로그래밍 강제 결합 자 Haskell 결합기 기능적 논리 프로그래밍

cflp. 설명

Haskell의 제약 조건 기능 - 논리 프로그래밍 CFLP는 Haskell의 제약 조건 기능적 - 논리 프로그래밍 (c) FLP)을위한 조합기를 제공합니다. 조합기는 나중에 카레 또는 장난감과 같은 FLP 언어로 작성된 프로그램을 컴파일하기위한 대상 언어로 사용될 수 있습니다. FLP의 또 다른 응용 프로그램은 수요가 주도 된 테스트 케이스 생성입니다. 참고 : CFLP는 BSD 라이센스 조건에 따라 라이센스가 부여되고 배포됩니다. 요구 사항 : · GHC.

cflp. 관련 소프트웨어