clp(FD,S) clp(FD,S) is a semiring-based constraint logic programming language over Finite Domains. It allows the computation of satisfaction and optimization of usual CSPs, Fuzzy CSPs, hierarchical CSPs and others. It is based on the wamcc Prolog compiler which translates Prolog to C. It provides several builtin constraints (arithmetic constraints, boolean constraints, meta constraints, optimization constraints) and some facilities to build new constraints.

Current Version:   3.0 License Type:   ??

Home Site: http://pauillac.inria.fr/~georget/clp_fds/clp_fds.html Source Code Availability:   Yes Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   No Targeted Platforms: Sparc, Linux Software/Hardware Requirements: C compiler such as gcc

Other Links: http://www.cs.unh.edu/ccc/archive/constraints/systems/clp.html Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers