Prolog has a univ operator (=..) which constructs and deconstructs terms.
f(a, b, c) =.. [f, a, b, c]
It works in either direction and unifies variables on either side as long as the "label" is an atom. Is there anything like that in Oz? I haven't seen it. Neither =.. nor univ
is in the index of CTM.
Thanks.
_____________________________________________
Russ Abbott
Professor, Computer Science
California State University, Los Angeles
o Check out my blog at http://russabbott.blogspot.com/
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
