On Jul 11, 2009, at 1:20 PM, Boriss Mejias wrote:
Torsten Anders wrote:
Dear Rusreg,
But what does CTM mean?
http://www.info.ucl.ac.be/~pvr/book.html
and http://ctm.info.ucl.ac.be/
No Russian translation yet, Rusreg..
Best
Torsten
cheers
Boriss
Best
Torsten
On Jul 11, 2009, at 10:51 AM, Rusreg wrote:
Unification in Oz is actually like unification in Prolog, with one
important difference -- unification and search are independent
in Oz.
That way, you can use unification in deterministic programs
where it
will only add as much information to the store as can be added
without search. For example, if you do
X = [hi _ _]
Y = [_ there _]
X = Y
then X and Y are unified to [hi there _], and the last variable is
left undetermined.
If you combined unification and search, then you have the
programming
model of Prolog, as detailed in chapter 9 of CTM.
Best
Torsten
Thanks for answer. But what does CTM mean? It's documentation
abbreviature?
But on mozart-oz.org and in mozart windows distribution no
documentation under this name.
I read about 'dis' in chapter 12 of Language Tutorial about logic
programming.
--
Torsten Anders
Interdisciplinary Centre for Computer Music Research
University of Plymouth
Office: +44-1752-586219
Private: +44-1752-558917
http://strasheela.sourceforge.net
http://www.torsten-anders.de
_____________________________________________________________________
____________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
______________________________________________________________________
___________
mozart-users mailing list mozart-
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
