call_stack.pl -- Call stack constraint solver

This 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.

author

- Joaquin Arias

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 dump_rules(Arg1, Arg2, Arg3)

 <~(Arg1, Arg2)

 ~>(Arg1, Arg2)