Struct PrologConstraints 

pub struct PrologConstraints;

Build CLP(FD) constraint goals for SWI-Prolog.

Implementations

impl PrologConstraints

pub fn in_range(x: PrologTerm, low: PrologTerm, high: PrologTerm) -> PrologTerm

X in Low..High — domain constraint.

pub fn clp_eq(x: PrologTerm, y: PrologTerm) -> PrologTerm

X #= Y — arithmetic equality constraint.

pub fn clp_neq(x: PrologTerm, y: PrologTerm) -> PrologTerm

X #\= Y — arithmetic disequality constraint.

pub fn clp_lt(x: PrologTerm, y: PrologTerm) -> PrologTerm

X #< Y — less-than constraint.

pub fn clp_gt(x: PrologTerm, y: PrologTerm) -> PrologTerm

X #> Y — greater-than constraint.

pub fn clp_le(x: PrologTerm, y: PrologTerm) -> PrologTerm

X #=< Y — less-than-or-equal constraint.

pub fn clp_ge(x: PrologTerm, y: PrologTerm) -> PrologTerm

X #>= Y — greater-than-or-equal constraint.

pub fn all_different(vars: Vec<PrologTerm>) -> PrologTerm

all_different(Vars) — all-different constraint.

pub fn label(vars: Vec<PrologTerm>) -> PrologTerm

label(Vars) — labelling goal.

pub fn sum_eq(vars: Vec<PrologTerm>, sum: PrologTerm) -> PrologTerm

sum(Vars, #=, Sum) — sum constraint.