cflpConstraint Functional-Logic Programming in Haskell | |
Download |
cflp Ranking & Summary
Advertisement
- License:
- Freeware
- Price:
- FREE
- Publisher Name:
- Fischer Sebastian
- Publisher web site:
- http://www-ps.informatik.uni-kiel.de/~sebf/
- Operating Systems:
- Mac OS X
- File Size:
- 22 KB
cflp Tags
cflp Description
Constraint Functional-Logic Programming in Haskell cflp provides combinators for constraint functional-logic programming ((C)FLP) in Haskell. The combinators might later be used as a target language for compiling programs written in an FLP language like Curry or Toy. Another application of FLP is demand driven test-case generation. NOTE: cflp is licensed and distributed under the terms of the BSD License. Requirements: · GHC
cflp Related Software