|
Language:
|
Prolog + constraints over Finite Domains and Booleans
|
|---|
|
Version:
|
2.2
|
|---|
|
Parts:
|
compiler clp(FD)->C, FD solver, runtime, debugger.
|
|---|
|
Author:
|
Daniel Diaz - INRIA Rocquencourt - FRANCE
|
|---|
|
Location:
|
ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd
|
|---|
|
Description:
|
clp(FD) is a constraint logic programming language
over Finite Domains. clp(FD) is based on the wamcc
Prolog compiler which translates Prolog to C.
clp(FD) provides several constraints "a la CHIP" on
Finite Domains and Booleans and some facilities to
build new constraints. clp(FD) is 4 times faster than
CHIP v3.2 on average.
|
|---|
|
Restriction:
|
free (see COPYRIGHT notice)
|
|---|
|
Requires:
|
GNU C (gcc) version 2.4.5 or higher
|
|---|
|
Ports:
|
Sparc workstations, PC under linux, sony mews, dec ultrix
|
|---|
|
Portability:
|
Generally to 32-bit machines with gcc.
|
|---|
|
Contact:
|
Daniel Diaz <Daniel.Diaz@inria.fr>
|
|---|
|
Status:
|
no longer maintained - see GNU Prolog by the same author.
|
|---|
|
Updated:
|
August 1st, 1994
|
|---|