Next: , Previous: , Up: prolog-libraries   [Index]


16.13.6 Prolog attributed variables interface

you find this library at (logic guile-log guile-prolog attribute), the interface is as follows. Also see the main chapter about attributes for details.

prolog attvar(X), successes if X is a attributed variable. or variable.

prolog put_attr(X,Attr,Meta), put put attribute Attr onto X, with metadata Meta.

prolog get_attr(X,Attr,Res), fetch attribute metadata from X.

prolog del_attr(X,Attr), remove attribute from the variable.

prolog raw_attvar(X,Res), fetch the underlying raw variable.