[ Reference Manual | Alphabetic Index ]

library(chr)

Constraint Handling Rules Library - obsolescent, use library(ech) instead

Predicates

CHR=(?, ?)
No description available
CHRalready_in(?)
No description available
CHRcheck_and_mark_applied(?, ?)
No description available
CHRcheck_and_mark_applied(?, ?, ?, ?, ?)
No description available
CHRdelay(?, ?)
No description available
CHRfail
No description available
CHRgen_num(?)
No description available
CHRget_delayed_goals(?, ?)
No description available
CHRhead_not_kept(?)
No description available
CHRkeep_heads_checking(?, ?, ?, ?)
No description available
CHRkeep_heads_checking(?, ?, ?, ?, ?, ?)
No description available
CHRkill(?)
No description available
CHRnonvar(?)
No description available
CHRvar(?)
No description available
chr(+File)
Compile File.chr into a .pl file and load the pl file.
chr2pl(+File)
Compile File.chr into a .pl file.
chr_delayed_goals_handler(?, ?, ?)
No description available
chr_get_constraint(?Constraint)
Remove a constraint unifying with Constraint from the constraint store.
chr_get_constraint(Variable,?Constraint)
Remove a constraint in which the variable Variable occurs and which unifies with Constraint from the constraint store.
chr_label_with(+Constraint)
Checks the label_with declarations of Constraint.
chr_labeling
Activates the built-in labeling feature for constraint handling rules.
chr_notrace
Deactivates the standard or Opium debugger extension for constraint handling rules.
chr_opium
Activates the Opium debugger and shows constraint handling.
chr_resolve(+Constraint)
Uses the Prolog clauses to solve a constraint Constraint.
chr_start_handler(?, ?, ?)
No description available
chr_trace
Activates the standard debugger and shows constraint handling.
coca(?)
No description available
no_delayed_goals(?)
No description available
no_global_bindings(?, ?)
No description available
tr_chr(?, ?)
No description available

Reexports

reexport chr2pl

Other Exports

export portray(CHRhead_not_kept / 1, tr_chr / 2, [])

About


Generated from chr.eci on 2022-09-03 14:26