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
1
vote
1 answer

Mozart/Oz configure issue on mac os x

I am trying to build Mozart/Oz on Mac os x Mojave using the following link: https://github.com/mozart/mozart and been getting the following configure error. GNU MP lib not found. I installed gmp using homebrew and also tried…
1
vote
0 answers

Helping functor environnement oz?

I got a parse error on the line 240 which is: GUI_port={GUI.portWindow}. I don't understand everything was getting well before. Can someone help me, there is not any other problem for compiling. functor import GUI at 'GUI.ozf' Input at…
1
vote
0 answers

Oz dictionary with composite typed keys

The CTM book says, "A dictionary is a mapping from simple constants (atoms, names, or integers) to partial values." As expected, when we execute this code: declare Memo = {NewDictionary} try {Dictionary.put Memo 3 1} catch E then skip end try…
prash
  • 324
  • 3
  • 14
1
vote
1 answer

Oz Installation Problems

I'm having to install Oz on my computer for a class. I have Windows 10. I have already installed emacs and it runs fine. However, when I try to to install Oz (the latest version from Sourceforge) it gives me an error "CoCreateInstance failed". No…
1
vote
1 answer

How to create non-numeric constraints in Mozart/Oz?

I want to implement a CSP with the variables' domain being non-numeric (something like [lisa ann mary joanna] ). Is there a way to achieve this in Mozart/Oz?
mhourdakis
  • 179
  • 8
1
vote
1 answer

Mozart IDE (emacs) parse error

Wrote this code using the mozart emacs system I downloaded from here: This is my code: declare fun {Mult X Y} X*Y end end {Browse {Mult 1 1}} When I run it it says: parse error in file Oz, line 6, column 1. What does this mean? How do I…
Hank
  • 11
  • 2
1
vote
1 answer

is there an new version of mozart/oz?

Would like to know if there is a new version of mozart/oz currently it is 1.4. That was in 2008. There has to have been progress.
Setori
  • 10,326
  • 11
  • 40
  • 46
1
vote
1 answer

Implementing Ports using Cells and viceversa in Oz

I'm trying to figure out how to "simulate" a Port using cells but I can't make it. The main idea is to have a function or procedure that simulates {NewPort S P} and other one that simulates {Send P X} behavior. Here what I got. declare P S proc…
Sean Sabe
  • 79
  • 9
1
vote
2 answers

Variable Partition not introduced error in mozart Oz

I am trying to implement quick-sort in Mozart OZ but variable not introduce error comes. I am new with this language. Please help me out. declare fun {QuickSort L} case L of X|L2 then Left Right SL SR in {Partition L2 X Left Right} …
Ameya
  • 47
  • 8
1
vote
2 answers

Errors in Mozart / Oz with tree traversal examples from book " Concepts, Techniques, and Models of Computer Programming "

Thanks in advance, and apologies for any errors or anything confusing about my post. I am getting errors with the tree traversal examples in section 3.4.6 of " Concepts, Techniques, and Models of Computer Programming ". I am using Oz /…
crh777
  • 23
  • 5
1
vote
2 answers

free and bound identifiers in functional programming

I've been banging my head at this question for sometime and I can't figure it out. I've read the definition of free variable "Free variables and bound variables" from wikipedia and several books but I can't get the answer right Consider the…
Mihai Vinaga
  • 1,059
  • 2
  • 10
  • 27
1
vote
1 answer

How to build symbolic differential OZ Mozart

I want to make a symbolic differentiation program in OZ Mozart but I'm stuck, don't know how to start, in prolog would be something like the rules below but I need help atleast in how to make the most symple rule in OZ, derivate of X is equal to 1…
1
vote
1 answer

Mozart/Oz : convert string to feature

I need to generate features names that I don't know in advance, in order to make a record. The record should look like: record(day1:[...] day2:[...] day3:[...] ...). As I don't know how many days the record will contain, I cannot write features…
Nicolas Cailloux
  • 418
  • 4
  • 13
1
vote
2 answers

Return true if an element in a list is true Oz

I need to do this two very similar exercises in Oz: *. Write the function {Some L P} that takes a list L and a Boolean function P. It returns true if P returns true for at least one element of L and false otherwise. *. Write the function {All L P}…
Zaz On Ira
  • 11
  • 2
1
vote
1 answer

Duplicate the elements of a list OZ

Write a function that duplicates every element in a list. For instance: {Duplicate [1 2 3]} returns the list [1 1 2 2 3 3]. How can I make it in OZ mozart? I don't know the sintaxis of oz, in prolog would be something like: even(N) :- N mod 2…