Package org.projog.core.predicate.builtin.clp

package org.projog.core.predicate.builtin.clp

Predicates to support constraint logic programming.

Related Packages

Package	Description
org.projog.core.predicate.builtin	Provides built-in predicates to provide functionality not possible in pure Prolog.

Class	Description
AddExpressionFactory	pj_add_clp_expression(X,Y) - defines a Java class as an CLP expression.
BooleanConstraintPredicate	CLP predicates for comparing boolean values.
CommonExpression
ConstraintFactory
Distinct	all_different([X,Y,Z]) - enforce that none of the given CLP variables share the same value.
ExpressionFactories	Maintains a collection of ExpressionFactory instances.
ExpressionFactory
In	X in 1..4 / [X,Y,Z] ins 1..4 - restrict CLP variables to a range of values.
NumericConstraintPredicate	CLP predicates for comparing numeric values.
Resolve	label([X]) - assigns concrete values to the given CLP variables.