SAL Home PROGRAM Languages & Compilers


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:

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:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.