Hi Ben,
Just a second comment on this issue:
Logic variables can handle partial information. For example, a variable may
be known to be a list, but the content of the list is unknown.
When two logic variables are unified they become equal. The unified variables
share the (potentially partial) combination of information of both variables
before unification.
Example:
X = [a _]
Y = [_ b]
X = Y % X = [a b] Y = [a b]
Best regards,
Torsten
--
Torsten Anders
Sonic Arts Research Centre
Queens University Belfast
Tel: +44 28 9027 4839 (office)
+44 28 9066 7439 (private)
www.torsten-anders.de
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.
Please send bug reports to bugs@mozart-oz.org.