9
Coroutining and attributes
Coroutining
freeze/2
frozen/2
portray/2 [
user-defined
]
Attributed variables
Introduction
Attribute declaration -
attribute/1
Attributes manipulation -
get_atts/2
,
put_atts/2
Type testing -
attributed/1
,
generic_var/1
,
non_generic_var/1
Unification extension -
verify_attributes_predicate/1
Attributed variables portraying -
portray_attributes_predicate/1
A simple example
Copyright (C) 1999-2002 Daniel Diaz.
Chapters 9 and 10 : Copyright (C) 2002-2003 INRIA, Rémy Haemmerlé.
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
More about the copyright