This module works with Utility LOGICMOO ATTVAR READER to allows us to keep attributed variables and files inside the prolog database.
- @author Douglas R. Miles
- @license LGPL
- serialize_attvars(+AttvarTerm, -PrintableTerm) is semidet
- serialize attributed variables (this is for printing and term_expansions currently)
- system_expanded_attvars(:TermT, :TermARG2) is semidet
- System Goal Expansion Sd.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- deserialize_attvars(Arg1, Arg2)
- deserialize_attvars(Arg1, Arg2, Arg3)
- serialize_attvars_now(Arg1, Arg2)
- put_dyn_attrs(Arg1, Arg2)
- find_or_create_var(Arg1, Arg2, Arg3)
- verbatum_var(Arg1)
- holds_attrs(Arg1)
- system_expanded_attvars(Arg1, Arg2, Arg3, Arg4)
- is_term_expanding_in_file(Arg1, Arg2)