call_stack.pl -- Call stack constraint solvercall_stack.pl -- Call stack constraint solverThis module contains the code to handle StackIn, StackOut and Model as attributes in order to check entailment with the TCLP framework of CIAO. ~>/2 is the predicate used to get the attribute from the attributed variable. <~/2 is the predicate used to put the term as an attribute.
The following predicates are exported, but not or incorrectly documented.
dump_rules(Arg1, Arg2, Arg3) <~(Arg1, Arg2) ~>(Arg1, Arg2)