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


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
labeling/1Enumerate concrete solutions.Source
random_labeling/2Select a single random solution.Source
sat/1True iff Expr is a satisfiable Boolean expression.Source
sat_count/2Count the number of admissible assignments.Source
taut/2Tautology check.Source
weighted_maximum/3Enumerate weighted optima over admissible assignments.Source
clpfd.pl  -- CLP(FD): Constraint Logic Programming over Finite DomainsShow source
#/\/2P and Q hold.Source
#</2The arithmetic expression X is less than Y.Source
#<==/2Q implies P.Source
#<==>/2P and Q are equivalent.Source
#=/2The arithmetic expression X equals Y.Source
#=</2The arithmetic expression X is less than or equal to Y.Source
#==>/2P implies Q.Source
#>/2Same as Y #< X.Source
#>=/2Same as Y #=< X.Source
#\/1Q does not hold.Source
#\/2Either P holds or Q holds, but not both.Source
#\//2P or Q holds.Source
#\=/2The arithmetic expressions X and Y evaluate to distinct integers.Source
all_different/1Like all_distinct/1, but with weaker propagation.Source
all_distinct/1True iff Vars are pairwise distinct.Source
automaton/3Describes a list of finite domain variables with a finite automaton.Source
automaton/8Describes a list of finite domain variables with a finite automaton.Source
chain/2Zs form a chain with respect to Relation.Source
circuit/1True iff the list Vs of finite domain variables induces a Hamiltonian circuit.Source
cumulative/1Equivalent to cumulative(Tasks, [limit(1)]).Source
cumulative/2Schedule with a limited resource.Source
disjoint2/1True iff Rectangles are not overlapping.Source
element/3The N-th element of the list of finite domain variables Vs is V.Source
empty_fdset/1Set is the empty FD set.Source
empty_interval/2Min..Max is an empty interval.Source
fd_degree/2Degree is the number of constraints currently attached to Var.Source
fd_dom/2Dom is the current domain (see in/2) of Var.Source
fd_inf/2Inf is the infimum of the current domain of Var.Source
fd_set/2Set is the FD set representation of the current domain of Var.Source
fd_size/2Reflect the current size of a domain.Source
fd_sup/2Sup is the supremum of the current domain of Var.Source
fd_var/1True iff Var is a CLP(FD) variable.Source
fdset_add_element/3Set2 is the same FD set as Set1, but with the integer Elt added.Source
fdset_complement/2The FD set Complement is the complement of the FD set Set.Source
fdset_del_element/3Set2 is the same FD set as Set1, but with the integer Elt removed.Source
fdset_disjoint/2The FD sets Set1 and Set2 have no elements in common.Source
fdset_eq/2True if the FD sets Set1 and Set2 are equal, i.Source
fdset_intersect/2The FD sets Set1 and Set2 have at least one element in common.Source
fdset_intersection/3Intersection is an FD set (possibly empty) of all elements that the FD sets Set1 and Set2 have in common.Source
fdset_interval/3Interval is a non-empty FD set consisting of the single interval Min..Max.Source
fdset_max/2Max is the upper bound (supremum) of the non-empty FD set Set.Source
fdset_member/2The integer Elt is a member of the FD set Set.Source
fdset_min/2Min is the lower bound (infimum) of the non-empty FD set Set.Source
fdset_parts/4Set is a non-empty FD set representing the domain Min..Max \/ Rest, where Min..Max is a non-empty interval (see fdset_interval/3) and Rest is another FD set (possibly empty).Source
fdset_singleton/2Set is the FD set containing the single integer Elt.Source
fdset_size/2Size is the number of elements of the FD set Set, or the atom sup if Set is infinite.Source
fdset_subset/2The FD set Set1 is a (non-strict) subset of Set2, i.Source
fdset_subtract/3The FD set Difference is Set1 with all elements of Set2 removed, i.Source
fdset_to_list/2List is a list containing all elements of the finite FD set Set, in ascending order.Source
fdset_to_range/2Domain is a domain equivalent to the FD set Set.Source
fdset_union/2The FD set Union is the n-ary union of all FD sets in the list Sets.Source
fdset_union/3The FD set Union is the union of FD sets Set1 and Set2.Source
global_cardinality/2Global Cardinality constraint.Source
global_cardinality/3Global Cardinality constraint.Source
in/2Var is an element of Domain.Source
in_set/2Var is an element of the FD set Set.Source
indomain/1Bind Var to all feasible values of its domain on backtracking.Source
ins/2The variables in the list Vars are elements of Domain.Source
is_fdset/1Set is currently bound to a valid FD set.Source
label/1Equivalent to labeling([], Vars).Source
labeling/2Assign a value to each variable in Vars.Source
lex_chain/1Lists are lexicographically non-decreasing.Source
list_to_fdset/2Set is an FD set containing all elements of List, which must be a list of integers.Source
range_to_fdset/2Set is an FD set equivalent to the domain Domain.Source
scalar_product/4True iff the scalar product of Cs and Vs is in relation Rel to Expr.Source
serialized/2Describes a set of non-overlapping tasks.Source
sum/3The sum of elements of the list Vars is in relation Rel to Expr.Source
transpose/2Transpose a list of lists of the same length.Source
tuples_in/2True iff all Tuples are elements of Relation.Source
zcompare/3Analogous to compare/3, with finite domain variables A and B.Source
simplex.pl  -- Solve linear programming problemsShow source
assignment/2Solves a linear assignment problem.Source
constraint/3Adds a linear or integrality constraint to the linear program corresponding to state S0.Source
constraint/4Like constraint/3, and attaches the name Name (an atom or compound term) to the new constraint.Source
constraint_add/4Left is a list of Coefficient*Variable terms.Source
gen_state/1Generates an initial state corresponding to an empty linear program.Source
maximize/3Maximizes the objective function, stated as a list of Coefficient*Variable terms that represents the sum of its elements, with respect to the linear program corresponding to state S0.Source
minimize/3Analogous to maximize/3.Source
objective/2Unifies Objective with the result of the objective function at the obtained extremum.Source
shadow_price/3Unifies Value with the shadow price corresponding to the linear constraint whose name is Name.Source
transportation/4Solves a transportation problem.Source
variable_value/3Value is unified with the value obtained for Variable.Source