Questions tagged [mozart]

The Mozart Programming System is an advanced development platform for intelligent, distributed applications, utilizing the Oz programming language.

The Mozart Programming System is an advanced development platform for intelligent, distributed applications. The system is the result of a decade of research in programming language design and implementation, constraint-based inference, distributed computing, and human-computer interfaces. As a result, Mozart is unequalled in expressive power and functionality. Mozart has an interactive incremental development environment and a production-quality implementation for Unix and Windows platforms. Mozart is the fruit of an ongoing research collaboration by the Mozart Consortium.

Mozart is based on the Oz language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part of a coherent whole. For distribution, Mozart provides a true network transparent implementation with support for network awareness, openness, and fault tolerance. Mozart supports multi-core programming with its network transparent distribution and is an ideal platform for both general-purpose distributed applications as well as for hard problems requiring sophisticated optimization and inferencing abilities. We have developed many applications including sophisticated collaborative tools, multi-agent systems, and digital assistants, as well as applications in natural language understanding and knowledge representation, in scheduling and time-tabling, and in placement and configuration.

For more information, see the Oz programming language.

81 questions
54
votes
4 answers

Opinions on the Mozart/Oz programming language?

I realize that Oz is a fairly obscure language. I first heard about it in the Programming Language Shootout. Then I found this Wikipedia article, which states Mozart/Oz to support 8 different paradigms. So I gave it a try. There were plenty of…
Lucky
  • 4,787
  • 9
  • 40
  • 50
8
votes
2 answers

Function and procedure behave differently with the same code in Mozart Oz?

I try printing out the Fibonacci sequence in Oz using 2 approach : function and procedure using Emac as editor. Procedure goes here : declare fun {Fibo N} case N of 1 then 1 [] 2 then 1 [] M then {Fibo (M-1)} + {Fibo (M-2)} end…
Duc Tran
  • 6,016
  • 4
  • 34
  • 42
7
votes
2 answers

How do I create a list in Oz?

I'm trying to create a list in Oz using the following code: local Loop10 Xs in proc {Loop10 I} Xs={List.append Xs I} if I == 10 then skip else {Browse I} {Loop10 I+1} end {Browse Xs} end {Loop10…
el diablo
  • 2,647
  • 2
  • 20
  • 22
5
votes
1 answer

Executing Mozart-Oz code in command line

I'm trying to use Mozart Oz. I download the execution binary from source forge: http://sourceforge.net/projects/mozart-oz/. When launching Mozart.app, the emacs (aquamacs for Mac OS X) starts to do the coding within it. For example, I can type in…
prosseek
  • 182,215
  • 215
  • 566
  • 871
3
votes
1 answer

Aquamacs error code 139

I'm getting a "Process Oz Emulator exited abnormally with code 139" whilst trying to test a program using Mozart/Aquamacs. From looking at some of the other posts it looks as though the "139" error is a general error code. Code someone point me in…
joesh
  • 171
  • 3
  • 9
2
votes
0 answers

What production-ready programming languages have something analogous to `NewName` of Mozart/Oz?

Section 3.7.5 of CTM introduces the NewName concept for data encapsulation in secure abstract data types. It is meant to be used in this manner: proc {NewWrapper ?Wrap ?Unwrap} Key={NewName} in fun {Wrap X} fun {$ K} if K==Key then X…
prash
  • 324
  • 3
  • 14
2
votes
1 answer

Check whether a tuple of variables cannot be constrained any further, in Mozart/Oz

Greetings, The idea can be best given with an example: Suppose we have a vector vec(a:{FD.int 1#100} b:{FD.int 1#100} c:{FD.int 1#100}). I want to be able to add constraints to this vector, until the point that every additional constraint I add to…
mhourdakis
  • 179
  • 8
2
votes
1 answer

Arithmetic expression evaluation oz mozart

I have a problem and I don't really know how to implement it in OZ: Suppose that you are given an arithmetic expression described by a tree constructed from tuples as follows: An integer is described by a tuple int(N), where N is an integer. An…
Alma A
  • 138
  • 10
2
votes
1 answer

Mozart-Oz difference between String and Atom

Could anyone provide a concise explanation of the difference between String and Atom types in the Oz programming language? I found the documentation lacking.
2
votes
1 answer

Mozart Ozcar Debugger Error

So im studying, and i need to run Ozcar debugger including on Mozart, i go to Oz menu and first i pick feed buffer, after that i pick Start Debugger, the compiler show me the next message: local A B in A = 5 B = 6 {Browse A+B} end %…
mando100
  • 49
  • 2
  • 5
2
votes
1 answer

can't see output on emacs running oz (mozart 2)

I started an online course which requires using emacs editor with oz language. OS - Windows 7 when i feed the code, it seems as if the code is compiled correctly but nothing is showed in the emulator window. In the messages buffer i get the…
tamiros
  • 339
  • 1
  • 4
  • 10
2
votes
0 answers

Translating Python code to Oz

Can somebody help me in translating this piece of Python code to Oz language? def rep_subset_conditional(S, tset, index, t, count): for i in xrange(index, len(S)): tset += [S[i]] tsum = sum(tset) if tsum == t: …
batman
  • 703
  • 1
  • 9
  • 27
2
votes
1 answer

Is there a way to store function/procedure calls in Oz?

I want to know if there is a way to bind a whole function call in a variable in Oz. For example, I do have: fun {F1 A1 A2} A1+A2 end and a local variable X. What I want to do, is store the call (as-is) {F1 1 2} in X and not its result: 3, so…
1
vote
1 answer

Mozart Programming: Integer to Hexadecimal conversion in OZ

I'm learning Mozart and I have a question, Does anyone knows how to convert a Integer to an Hexadecimal without the manual-mathematical table conversion. Is there any included function/module to do that? I know how to convert the other way: …
1
vote
1 answer

Expression Evaluation Oz/Mozart

I am trying to create a function that takes an expression and evaluates it. Expressions can contain the following operations: Integers - described by a tuple int(N), where N is an integer. Addition - described by a tuple add(X Y), where both X and…
Nhabbott
  • 166
  • 1
  • 3
  • 13
1
2 3 4 5 6