Did you know ... Search Documentation:
Title for pldoc(dir_index)

clp

Prolog files

bounds.pl  -- Simple integer solver that keeps track of upper and lower boundsShow source
clp_events.plShow source
clpb.pl  -- CLP(B): Constraint Logic Programming over Boolean VariablesShow source
clpfd.pl  -- CLP(FD): Constraint Logic Programming over Finite DomainsShow source
simplex.pl  -- Solve linear programming problemsShow source