Oz and Mozart Users Mailing List
By Subject
5450 messages sorted by:
[ author ]
[ date ]
[ thread ]
About this archive
Mail actions: [ mail a new topic ]
Starting: Fri Dec 18 1998 - 17:24:38 CET
Ending: Sun Dec 14 2003 - 03:45:31 CET
- "class" constraints
- "for" question (newbie)
- "or" statement
- "Read" procedure?
- 'Indent' for Oz Programs?
- (no subject)
- (none)
- (none))
- *** No rule to make target `TARGET_CXXFLAGS='
- *.so compatibility was: [ANN] Mozart 1.2.5 Revision 1
- -ftracer problem
- -mouse crash-
- .NET platform
- .ozrc won't configure ozd's inspector
- 0 in a ByteString
- 1.3.0 release schedule
- 11WLPE: 2nd CFP
- 2nd CfP: 3rd Rule-Based Constraint Reasoning and Programming (RCoRP'01)
- <in expression> syntax
- [] New Mozart Mailing Lists
- [] STDIN/STDOUT and unix signals?
- [ANN] Alice 0.9.1 released
- [ANN] Call for Distros for Mozart 1.2.4
- [ANN] Debian packages for Mozart 1.2.5
- [ANN] fixed memory leaks
- [ANN] less confusion on download pages
- [ANN] Mandrake 8.1 binary RPMs for Mozart 1.2.5 Revision 1
- [ANN] MBase 0.8 Released (Mathematical Knowledge Base)
- [ANN] mogul:/duchier/xml/parser (Version 0.3)
- [ANN] Mozart 1.2.1 released
- [ANN] Mozart 1.2.3 for Mandrake 7.2
- [ANN] Mozart 1.2.3 for Mandrake 8.1
- [ANN] Mozart 1.2.3 for Solaris 2.6
- [ANN] Mozart 1.2.3 for SuSE 7.1
- [ANN] Mozart 1.2.3 for SuSE 7.2
- [ANN] Mozart 1.2.3 on MacOS X
- [ANN] Mozart 1.2.3 RedHat 7.0
- [ANN] Mozart 1.2.3 RedHat 7.2
- [ANN] Mozart 1.2.4 for Mandrake 8.2
- [ANN] Mozart 1.2.4 for Solaris 9
- [ANN] Mozart 1.2.4 for SuSE 7.3
- [ANN] Mozart 1.2.4 is released!
- [ANN] Mozart 1.2.4, updated Windows installer
- [ANN] Mozart 1.2.5 for Red Hat 9.0
- [ANN] Mozart 1.2.5 for Red Hat Enterprise Linux AS 2.1
- [ANN] Mozart 1.2.5 for SuSE 8.2
- [ANN] Mozart 1.2.5 for the iPaq/linux
- [ANN] Mozart 1.2.5 is released
- [ANN] Mozart 1.2.5 Revision 1
- [ANN] Mozart for Darwin (MacOS X)
- [ANN] new Mandrake 9.1 binary RPMs for Mozart 1.2.5
- [ANN] New Mozart 1.2.4 for MacOS X
- [ANN] new source RPM for Mozart 1.2.5
- [ANN] ozmake 0.77 (bugfix release)
- [ANN] ozmake 0.79
- [ANN] ozmake 0.80
- [ANN] ozmake 0.81
- [ANN] ozmake PDN 0.76 -- ALL OF YOU _MUST_ READ THIS!
- [ANN] ozmake version 0.2
- [ANN] ozmake: project building and package management
- [ANN] Release of ozmake 0.83 (automatic dependencies)
- [ANN] Release of ozmake 0.84 (bug fix)
- [ANN] Release of ozmake 0.85 (ozl autodepend)
- [ANN] Release of ozmake 0.86
- [ANN] SuSE 7.3 & 7.2 binary RPMs for Mozart 1.2.5 Revision 1
- [ANN] SuSE 8.2 - call for rpm testers
- [ANN] update of Gentoo ebuilds
- [ANN] update of mozart-gtk
- [ANN] update of mozart-gtk for MacOS X
- [ANN] updated Mozart 1.2.4 for Windows
- [ANN] XML parser (v0.1)
- [ANN] XML parser (v0.2)
- [ANN] Year 2002 v1.0
- [ANN} Mozart 1.2.3 for SuSE-7.3
- [e-lang] capabilities in Mozart-Oz
- [e-lang] Capability Question on Oz List
- [e-lang] Deserializing cyclic references, and constraint type systems
- [Fwd: Functional language efficiency]
- [Fwd: Mozart 1.2.3]
- [Fwd: MOZART tool]
- [Fwd: mozart-oz and databases on linux]
- [Fwd: PhD Opportunities]
- [Fwd: Some Q's re Oz spaces]
- [Fwd: To use Oz in Vim]
- [FYI] fixed temporary interruption of mailing list traffic
- [Mozart Oz Users] [Oz] Scheduler
- [Mozart Oz Users] Apropos popularising Mozart/Oz
- [Mozart Oz Users] Debugger Spec.?
- [Mozart Oz Users] Directed Search in Spaces?
- [Mozart Oz Users] element propagator
- [Mozart Oz Users] method syntax
- [Mozart Oz Users] Mozart documentation -- proposal to simplify it
- [Mozart Oz Users] Mozart documentation -- proposal to simplifyi t
- [Mozart Oz Users] Mozart documentation -- proposal to simplifyit
- [Mozart Oz Users] newbie question
- [Mozart Oz Users] newbie question (declarations)
- [Mozart Oz Users] order of ports?
- [Mozart Oz Users] Other Languages Interface
- [Mozart Oz Users] Parallel search engines for deep search trees
- [Mozart Oz Users] Performance of the Distribution Subsystem
- [Mozart Oz Users] Scheduler + Jobshop problem
- [Mozart Oz Users] Scheduling: Assigning start times
- [Mozart Oz Users] strings/bytestrings (was: pickle loading/writing: more info)
- [Mozart Oz Users] test
- [Mozart Oz Users] With Apologies - how do I get off this list?
- [MOZART-DLL REQUIREMENTS] Announcement
- [MOZART-DLL REQUIREMENTS] Use Case 1: EmbedEmulationEngine
- [MOZART-DLL REQUIREMENTS] Website Announcement
- [Newbie] Blocking statement in constraint programming
- [Newbie] If statement and contraint programming
- [OT] optional then?
- [Oz] "Failed Variables"
- [Oz] (CFP) TRICS: Techniques foR Implementing Constraint programming Systems
- [Oz] (Snd CFP) TRICS: Techniques foR Implementing Constraint programming
- [Oz] .NET platform
- [Oz] [Fwd: Oz users]
- [Oz] Animation programming in Oz
- [Oz] Any news about 1.1?
- [Oz] Applying a list of procedures
- [Oz] Beginner's question
- [Oz] beginner: distributing data fields over documents
- [Oz] board game programming (chess, checkers, etc.) possible with the Contraint and FD features of OZ3?
- [Oz] Book on programming techniques using Oz
- [Oz] Books on Distributed and Constraint Programming
- [Oz] Bridge Scheduling
- [Oz] Building Mozart for Windows (Was: (none))
- [Oz] Call for Papers: 7th International Conference on Principles and Practice of Constraint Programming
- [Oz] Call For Papers: Las Vegas,USA, June 25-28; 2001 Int'l. Conf.; PDPTA+CISST+ICAI+IC+METMBS+ERSA+ISE+CIC
- [Oz] Calling a Mozart procedure from C
- [Oz] Calling a Mozart procedure from C)
- [Oz] Calling Mozart from Tcl
- [Oz] CFP - Education in Language and Speech Technology
- [Oz] CFP: CP 2000
- [Oz] CFP: CP2000, Sept 18-22, Singapore, 2000
- [Oz] cfp: Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics
- [Oz] Client runtime download
- [Oz] Closing tuples/records
- [Oz] college timetable
- [Oz] college timetable demo
- [Oz] Compiling
- [Oz] Compiling Oz file
- [Oz] Compiling Oz program
- [Oz] COMPOzE
- [Oz] Contributing Packages to MOGUL
- [Oz] Convert String to Int
- [Oz] CORBA4Oz
- [Oz] CORBA4Oz Andres
- [Oz] CORBA4Oz answer from SICS
- [Oz] CORBA4Oz proposal
- [Oz] CSL'99 3rd CFP (Text & LaTex versions)
- [Oz] CSPLib v1.0
- [Oz] Custom search strategies for choice points.
- [Oz] Cygwin
- [Oz] Debugger question
- [Oz] dis / using ports in search
- [Oz] Distributed webserver design question
- [Oz] Distribution problems
- [Oz] Doc and/or source available for contrib/text/X[MS]L-*.osf ?
- [Oz] Document for QTk package
- [Oz] Documentation
- [Oz] Domain or Interval.
- [Oz] dynamic creation of objects
- [Oz] equality of unbound variables
- [Oz] ESOP 2000: Call for Papers
- [Oz] Examples of configuration-type problems
- [Oz] Expert Systems and Oz
- [Oz] Factoring Mozart's Record Construct
- [Oz] Filtering of values of constraint variables
- [Oz] Final CFP: Workshop on Analysis and Visualization of Constraint Programs
- [Oz] Forget it: Hmmm: applying non-procedure and non-object
- [Oz] Four Mozart-related talks at ICLP99
- [Oz] Future of Oz
- [Oz] future syntax
- [Oz] Fwd: regex for win32
- [Oz] Generating
- [Oz] Generating lists of variables
- [Oz] Getting the output of Oz Browser in a file
- [Oz] Help ... (orelse) (fwd)
- [Oz] Help Needed
- [Oz] Help using Search module ...
- [Oz] Help: choice statement ...
- [Oz] Help: Lazy evaluation ..
- [Oz] Help: pointers for non-unary resource scheduling ...
- [Oz] Hmmm: applying non-procedure and non-object
- [Oz] Identity of functions
- [Oz] IDL workshop
- [Oz] incremental compilation
- [Oz] Introduction to Oz for Prolog programmers
- [Oz] Is there any Input procedures????
- [Oz] JBoss/Weblogic/EAServer/Oracle Application Server and Mozart
- [Oz] Lazy implementation of automata operations
- [Oz] LDAP interface design questions
- [Oz] Link and Mozart
- [Oz] Linux
- [Oz] Loading modules in OPI
- [Oz] Locking cells by default
- [Oz] Loop extensions
- [Oz] LPNMR'99 Dec 2-4, 1999 (changed date!) CFP
- [Oz] MarketProfile2001 ALERT - Subscriber Notification zslis
- [Oz] Meta-programming in Oz
- [Oz] Mozart 1-.0.1 patch for upgrading to tcl8.2, install IncrTcl, and install Cows Expert System
- [Oz] Mozart 1.0 released: platform for distributed and constraint programming
- [Oz] Mozart 1.1
- [Oz] Mozart at SIGCSE
- [Oz] Mozart Jobs at Dr. Hagen & Partner
- [Oz] Mozart or Java: simple fault tolerant distributed application
- [Oz] Mozart Roadmap?
- [Oz] Mozart/AI course?
- [Oz] Mozilla
- [Oz] multi-thread
- [Oz] Multiple evaluation question
- [Oz] Native Tk or Mozart?
- [Oz] New Mozart Release
- [Oz] New Mozart version 1.0.1 released
- [Oz] newbie question...
- [Oz] NewStat
- [Oz] Next release?
- [Oz] Open.socket, receive
- [Oz] Out of memory
- [Oz] Oz and Python
- [Oz] Oz complaints
- [Oz] Oz vs. Squeak
- [Oz] packages of Debian GNU/Linux
- [Oz] performant way to make record from non-unique atom#value lists
- [Oz] Ports need a close operation
- [Oz] PPDP 2001: Call for Papers (second call)
- [Oz] Preprocessor
- [Oz] Printing
- [Oz] Problem linking C programs into Mozart
- [Oz] Problem using Flatten with FS variables ....
- [Oz] Programming Mozart
- [Oz] Q: FD-Variable
- [Oz] QTk beta release
- [Oz] regexp library for win32
- [Oz] Research/development jobs available to work on Mozart
- [Oz] Scheduling: MT10 Without Compiler
- [Oz] search/replace in text strings
- [Oz] sending large files over the network
- [Oz] side effects in a search?
- [Oz] Simulation in OZ
- [Oz] Sockets
- [Oz] SQL interface
- [Oz] Stand-Alone Demos
- [Oz] Status of parallel processor implementation
- [Oz] String.toInt
- [Oz] Subscription to mailing list & Blackboard question
- [Oz] Summer School on Constraints in Computational Logics
- [Oz] Tapping a watcher on the shoulder
- [Oz] TclTk extensions
- [Oz] Teaching Oz
- [Oz] testing
- [Oz] The Oz Minesweeper
- [Oz] Thesis on "Programming Constraint Services"
- [Oz] Time allocation for threads (and other questions)
- [Oz] timetable - nursery problem
- [Oz] trouble running .oza applets in WinNT
- [Oz] Try statement
- [Oz] Tutorials in PDF format
- [Oz] Typecasting
- [Oz] US Participant needed
- [Oz] user's manual
- [Oz] Using Mozart & benchmarks
- [Oz] Using Oz for large databases
- [Oz] vb interface and job-shop modelling
- [Oz] Who (where and how many) are we?
- [Oz] Who in Silicon Valley is interested in a Mozart Users Group
- [Oz] Win32 and DLLs
- [Oz] Workshop: multiparadigm programming with OO languages
- [Oz] XOR
- [ozmake] help needed for quoting shell commands on Windows
- [ps.oz.support] Report: Building Mozart on MacOS X
- [R: Problems with Remote.manager again]
- _Extremely_ strange behaviour. Help!
- A begginer problem
- A Challenge: RSS channels for Mozart
- A Conceptual Question
- A couple of questions
- a Fault message
- A FD problem.
- a flexible-flow-shop problem
- a minor proposal (anchor stores)
- a question about a QTk-example (from paper)...
- A question about propagation and distribution
- A question about the FS Module
- A question..
- A question]
- a repeated GUMP Question
- about "_"
- About exceptions
- About GUI and IDE Interface
- About GUI and IDE Interface - anyone thought about REBOL?
- About Ozmake, Tk, getS and Qtk
- about ports
- About propagators
- About Search Module
- accept function problems
- Access Oracle from Oz
- Access to file/line info?
- accessing Oz FROM C(++)
- Accreting features or attributes in object inheritance?
- Adaptive recomputation?
- Adding methods at runtime?
- adjusting the browser
- Advice desired on isolating a space
- Advice for learning Oz
- Again: Select package under Windows NT/2000/XP
- Agents & Mozart
- Alice 0.9.2 released
- Alice Programming System Released
- All in one execs...
- AllDiff Constraint
- alpha-beta
- An "calculator" for PI-calculus in Oz?
- Analogue of Prolog's copy_term
- Animated kernel language interpreter
- Anon CVS access?
- Another compiling problem
- Answering your questions.
- Ants
- apalled (was: universal combinator)
- apidoc for OZ?
- applets on mozilla
- Application arguments
- Application development?
- Application Parameters
- Application troubles
- Arbitrary data formats.
- Are spaces still sited?
- Are there any courses using Mozart-Oz available via distance education?
- Are there any limits in Oz ?
- Array to Record
- ask constraints
- Atomic binding
- automaton
- AW: [Oz] JBoss/Weblogic/EAServer/Oracle Application Server and Mo
- AW: AW: Mozart/Alice future and GUI building.
- AW: GUI buiding in MOzart/Alice
- AW: I'm not able to grasp the basics of Oz.
- AW: May be of interest -- GPL version of SAP database
- AW: Mozart/Alice future and GUI building.
- Back from vacation
- Backwards compatibilty and loop counter
- Bad error message.
- beginner
- Beginner - error and i dont have a clue why
- Beginner on constraint programming...
- beginner Q: use of in
- Beginner Question about constraints
- beginner quiestions, sorry if duplicate
- Beginner's question
- beginner)
- Beginner: mozart/oz as an inference engine
- Binary Package for Solaris 2.6?
- BitArray pickling
- Bitwise
- Book on Program Design & Software Engineering?
- bootstrap emulator error
- BOUNCE oz-users@ps.uni-sb.de: Admin request: /^subject:\s*help\b/i
- BOUNCE oz-users@ps.uni-sb.de: Approval required:
- BOUNCE oz-users@ps.uni-sb.de: Approval required: Non-member submission from [Denys Duchier <Denys.Duchier@ps.uni-sb.de>]
- Branch and Bound
- bridge example-Tutorial?
- Browse problem
- Browser options
- Bryan Smith is out of the office.
- bug 1160
- Bug 1160 understood
- Bug?
- BUG? (examples/gump/Examples.oz)
- Bug?)
- Build fails on SuSE 8.1
- building constraint systems
- Building from CVS
- Building from source on Red Hat 7.3
- building mozart for mandrake 9.1
- Building Mozart for Windows
- Building propagators
- Built 1.2 on SuSE 7.1
- builtin and DP
- builtin and Mozart synchronization
- By the way - or - curiosity about OO syntax.
- bytestrings as dictionary keys?
- ByteStrings in builtins
- C ={Clone S}
- C callback functions
- C Interface in Windows
- C interface trouble
- C-interface problems
- Call chain information
- Call chain information?
- Call for Distros Redux
- Call For Papers ...KBCS 2002
- Call for Papers: Constraint Handling Rules TPLP Journal Special Issue
- Calling an Oz procedure from a native functor
- Calling Oz from C/C++?
- Can't identify the mistake
- Can't import functors.
- Can't import functors.)
- Can't key dictionary on procedure?
- Cannot find contrib modules LP and RI
- Cannot find GNU Emacs or XEmacs
- cannot run example in GlobalStore package
- capabilities in Mozart-Oz
- Cartesian Product
- CCP and Consistency!!!!
- Cell.exchange
- Celloid example under Visual C
- CFP CP-AI-OR'04
- CfP: CICLOPS'2003
- CFP: ICFP 2003
- CfP: ICLP 2002
- CFP: PPDP 2003
- CFP: RULE'02 - PLI-Workshop on Rule-Based Programming
- CFP: Workshop on Rule-Based Constraint Reasoning and Programming
- CGI problem
- Checking a binary tree
- Checking Class membership
- Checksum mismatch
- Checksum mismatch and trivial question
- CHORUS demo?
- classes
- classes (documentation)
- Classes as components?
- closable port?
- closable ports
- Code example from tutorial?
- code examples....
- COLOGNET Joint Workshop
- COLOGNET Joint Workshop: Call For Papers and Participation
- Combining FD.impl and FD.exactly ...
- Comments on the Inspector
- Comparing Mozart-Oz with other languages
- Comparision with Prolog?.
- compilation Failture
- compile error on SunOS5.6
- compiler crashes with -g flag
- Compiler documentation incomplete
- Compiler question
- Compiler.virtualStringToValue
- Compiling College scheduler demo
- Compiling College scheduling program
- compiling from source
- Compiling mozart 1.2.4 using SuSE 8.1 fails
- compiling mozart-gtk
- Compiling Mozart/MySQL glue library on Windows
- compiling oz files from server
- compiling problem?
- Compiling the demos: DemoUrls.ozf
- Compiling, on Linux for a change
- Computation Model = Programming Model?
- conditional summation?
- configuring the Inspector
- Congrats to 1.2.2! (Was accept function problems)
- Connecting Linux and Windows 2000: Why can't Linux clients take a ticket from a Win2k process?
- Connection Problems
- Connection with postgres
- Connection.take bug.
- Constraining lists, whose length is undetermined
- Constraining variables, whose number in undetermined
- Constraint satisfiability test
- Constraint&Logic Programming in Security: Call for Papers
- Constraints as data types
- Constraints as data types FAQ
- constraints Beginners Question
- Constraints debuging....How????
- Constraints on array's
- Constraints question
- Constraints relaxation
- Constructive disjunction
- Constructive Disjunction Combinator
- Constructive guard combinator code
- contrib lp
- contrib ri
- Convince Mozart to install
- Copy Text from Oz Browser
- Cost function and 'code arrangement'
- costfunction
- CP 2003 - Call for demo proposals
- CP-2002 program and registration info now available on website
- CP-2002 Workshop Programme: Call for Contributions and Participation
- CP-2002: Call for Papers
- CP2003: CFP and doctoral programme
- Create a space
- create user defined propagator???!!
- Creating an Extension C++ Class
- Creating Procedures from Records
- creating servers
- Cron <adm-oz-users@grizzly> /opt/news/bin/hypermail -c /opt/news/oz-users/oz-users.hmrc
- crypt(), one-way hashes, crypto in general?
- Cubes inside cubes
- cumulative constraint
- cumulative-example
- cvs 2001-05-22 12:00 MET fails on freebsd??
- cvs login problem
- Cygwin-Mozart error!!
- Data exchange format Was: infinite loop?
- Date/Time - Functions
- DaVinci
- DB connection
- Debbuging Cosntraints and Tobias Muller's contribs
- Debian packages for Mozart 1.2.1
- Debugging Mozart codes
- Debugging threads in spaces
- Debugging threads in spaces -> OK
- Decompilation?
- deflate/zlib
- delayFun
- delays in messages to this list
- Demand for some clarifications!
- demo applets do nor work with 1.1.1
- Dependencies in Gentoo (not perl)
- Deployment environment
- Detecting constraint entailment in spaces
- Detecting When All Threads Are Blocked
- development plans?
- Dictionary.waitOr?
- diff files for compiling prereqs on windows
- Difference between commi1 and commit2
- diffn constraint
- dis construct
- Distribute Global Variables
- Distributed Programming
- distributed tuple
- distributing ozmake through .tgz
- Distribution model
- Distribution panel
- Distribution robustness problem
- Distribution robustness problem - active fault tolerance
- distributor differences
- DList
- DList - distributed list operations
- DList as Mogul package
- Docs on Deep-guard Concurrent Constraint Combinators?
- Doctoral Programme of CP-2002: Call for Applications
- Documentation for Open.Html
- Documentation on Logic Programming in Oz
- Does Oz really support Microsoft .NET Framework???
- dp error using parallel search
- DP Problems gcc3.2
- DPStatistics
- draft: Safe Serialization Under Mutual Suspicion (was: Capability Question on Oz List)
- dual CPU usage
- Duchier's xml parser bug.
- duchier-select.pkg + MacOS
- Dynamic binding in Oz
- Dynamic CSPs and Constraints
- dynamic linking
- Dynamic programming?
- efficient implication?
- element constraint
- element: FD-Var in List
- Emacs
- Emacs 20.7 and Mozart 1.2.4
- Emacs Oz mode (indent and multi-line comments)
- embeded web applets
- Empty Distribution Panel
- Emulator as a library/embedding
- emulator stops
- Encryption of distributed mozart communications?
- ending an application
- Equivalence of lazy evaluation and logic variables?
- Error Codes
- error in Prototyper -> widget_panel
- Error message
- ERROR with oztool (under win32, g++ available)
- ErrorFormatter
- Eval possible?
- evalExpression and classes...
- evalExpression strangeness...
- Evaluate repeatedly?
- Exchange and logic variables
- excuse me
- expat contrib documentation rearranged?
- Expat parser
- explicit state
- Exploration of own search
- Explorer
- Explorer / Branch and Bound
- Expressing infinity
- Extending modules/classes
- extending root of search script
- Extremely Reliable OS
- FD modelling
- FD-div and FD-mod operator
- FD.abs
- FD.distribute
- FD.distribute & FD.choose
- FD.distribution doc
- FD.div question
- FD.element
- FD.exactly made avare of '\\=:'
- FD.impl
- FD.power
- FD.power failure
- FD.power failure (solved)
- FD: Minimizing nondistinct
- Feature questions
- Feature request: Limitations of the alternatives() interface
- File attributes
- File attributes)
- Final CFP: 11WLPE
- find softlinks -- OS.stat
- Finding Mozart resources on the Web, was: Invoking mozart app from Java
- finding out if records are compatible
- Finite Domain Constraint
- Finite Domain Constraint programming
- Finite Set Constraint Question
- First impressions
- First Mozart book: Programming Constraint Services
- First Mozart project: how to start?
- First time
- Flailing with the C interface
- Float to String in non-exponential form
- FlowJava
- for control structure
- for loop suspension
- for mac osx users
- foreign pointer
- Formated output
- Forwarded from pragprog
- fpu_control.h
- free-ing foreign pointers?
- Freezing of Mozart during DLL library call
- Friar Tuck wins Technopreneur Prize in Singapore
- FS & documentation
- FS & documentation]
- FS.distinctN
- Function Composition
- Functions vs. procedures
- further search and thread questions
- Fwd: forwarded message from Christian Tismer (fwd)
- FWD: ICFP Programming Contest
- Fwd: Indeterminism?
- garbage collection problem
- GC problem?
- GC wierdness? -- Readable version.
- gc.active stable, but process grows?
- gcc 3.3.1 naughtiness
- gcc 3.x
- gcc 3.x on darwin
- gCollect and sClone
- gdbm
- Gdbm reorganize error
- generators in for loop
- Get it free while supplies last :-)
- Getting Tk window name from QTk
- Give me a hand, please!
- Graph colouring with a twist
- graphviz interface?
- Ground data dragged along in search?
- GTK examples
- GTK-modul?
- GUI buiding in MOzart/Alice
- gump + ozmake
- Gump does not allow Oz for-loop?
- Gump Scanner defs in Ozmake?
- Gump: rewrite ... end not implemented, why?
- handling resources
- Hashtable with non-literal keys?
- Having problems converting Haskell code.
- Hello again: Constraint implication
- help
- help - beginner difficulty with using "class"
- Help - Propagator states and actions
- Help for calling C++ from mozart and Vice Versa.
- Help for calling C++ from mozart and Vice Versa. (What is magic header not found error?)
- Help foreign
- help in compiling Mozart 1.2.5
- help needed (Error: space hierarchy)
- Help with GUMP
- Help!
- HELP! How to inspect strings with the inspector
- heureka: Remote vs WinXP
- Hierarichical Constraints
- higher-order combinators - syntatic sugar
- HiLog in Oz
- hostname/IP (newbie)
- Hot code swapping
- How do I install MOGUL stuff on windows?
- how does recovery work in GlobalStore ?
- how to create a disjonctive constraint with a variable number of litterals
- how to debug a constraint proc????
- how to force garbage collection
- How to index on threads?
- how to invoke a mozart application from a Java program
- How to model this FD problem?
- How to nohup?!
- how to use oz explorer
- HTTP Proxy support
- HTTP Proxy support (still missing?)
- httpd in mozart
- httpd in mozart)
- hum
- I need RelationClass
- I saw the sign - "non-blocking equality test" revisited
- I'm not able to grasp the basics of Oz.
- If possible
- Implementing a RI propagator
- Implication
- importing module importing native module
- importing module that imports another NATIVE module
- incorrect umlauts when using OzTclOdbc
- Incremental db-search
- Inductive or abductive reasoning in Mozart
- infinite loop?
- Infinite madness?
- Information on VRP problem
- init file?
- Initializing variables by means of finite domain statements
- Insert OZ code in latex documentation
- Inspector
- inspector and constraint programming?!
- inspector problem (solution)
- inspector problems
- installation
- Installation of Select constraint fails on Mac
- installation problem
- installation question
- Installing davinci WITH contribs
- installing Duchier's Select Package
- Installing Mogul packages
- Installing Mozart in Redhat 7.0
- Installing oztclodbc
- Installing oztclodbc, (Now works)
- Installing reflect, davinci, and investigator
- Installing reflect, davinci, and investigator)
- instances reflection
- Interface C/C++
- Interfacing to C++
- Interoperability under Windows (Was: [Oz] Oz vs. Squeak)
- interpreting property gc values
- Invoke Explorer statistic action
- Invoking mozart app from Java
- invoking tcl directly in mozart
- IP Broadcast
- Is mozart a distributed system?
- Is record "o(1:a 2:b 3:c)" special?
- Is there a possibility to count the number of "unentailed" propagators ?
- Is there an 'x-ozdoc'?
- Is-Test for secure declarative unbundled ADTs
- IsDet isValue and toValue
- IsDet wierdness.
- IsInstanceOf
- Issues with Win2K install
- Java/Oz question
- Job Shop Scheduler
- Job shop scheduling,
- KBCS 2002 Call for papers
- Kludging together thread control.
- Language shootout
- latex tools
- Laziness flag?
- Learning Mozart
- libgmp.so.3
- libgmp.so.3 (solved) and now Tk
- LibPng.so2 on Mandrake 9.0
- linux: executing binaries natively
- List.toRecord question
- Listbox and dropdownlistbox
- Listbox and Scrollbar
- Lists of variables and constraints
- little documentation mistake
- Loading cygwin compiled libraries
- loadpath?
- Locating imported files
- Looking for a paper
- looking for a source tar ball (or cvs) for 1.3.0
- looking for a source tar ball (or cvs) for 1.3.0)
- looking for NLP Documentation
- Loop.for vs for
- loose coupling of objects: the oz way?
- LP not working
- lp_solve and Oz
- Mac OS X library mismatch
- Mac OS X Mozart difficulties
- Mac OS X packages for Mozart
- Mac OS X Problems Solved
- Mail Change
- Making a module manager?
- Making the Reflect contrib work
- Manipulation of constraints
- May be of interest -- GPL version of SAP database
- mcs-51microcontroller
- Memory leak
- memory leak)
- memory leak))
- memory leaking?
- Merging an unstable space
- messages not appearing on this list
- meta-programming question
- Method name
- Method names on the fly?
- method syntax
- Methods - locks
- Methology of programing in mozart
- minimal distribution
- Missing images in the printed documentation (PDF or PS)
- mistery symbol
- mktime
- Model This
- modeling
- Modeling Tools
- Modeling Tools - thanks
- Mogul and backward compatability (pickles...)
- MOGUL back online
- Mogul back online (Was: Mogul down)
- Mogul down
- MOGUL temporarily out of order
- Mogul: QTk (failed installation)
- MOMP
- Monitor messages with space IDs
- monitoring variable domains
- more compiling problem/
- More efficient execution
- More GC problems...
- More GT issues.
- More GT issues. -- I mean GC.
- Most representative
- MOZ doesn't crash from exceptions?
- mozart
- Mozart & lp_solve
- Mozart & MacOS X: howto install?
- Mozart 1.2.0 - Fix for Windows 2000 SP2
- Mozart 1.2.0 install wipes out PATH in autoexec.bat
- Mozart 1.2.0 released
- mozart 1.2.3 configure problem on FreeBSD
- Mozart 1.2.3 is Released!
- Mozart 1.2.3 on MacOS X (Failure)
- Mozart 1.2.4
- Mozart 1.2.4 is released
- mozart : browse
- Mozart and commercial databases
- Mozart and database interactions?
- Mozart and ILOG Solver?
- Mozart and Midi
- Mozart and Mosix
- Mozart and multi media applications
- Mozart and Music (was Mozart and MIDI)
- Mozart and music composition
- Mozart and OZ
- Mozart at ECOOP 2001
- Mozart Book
- Mozart compilation
- Mozart distribs (was: lp_solve and Oz)
- Mozart DLL?
- Mozart FD Limitations
- Mozart for ARM/PDAs
- Mozart in an Java application
- Mozart in the commercial world?
- Mozart in the Great Win32 Computer Language Shootout
- Mozart install and use in MOSIX
- mozart on gentoo
- mozart on gentoo - solved
- Mozart on MacOS X
- Mozart on MacOS X (Darwin)
- Mozart on MacOS X / Pre-Release 1.2.2
- Mozart on MacOS X 10.1: not yet...
- Mozart on MacOS X: Tk Bugs
- Mozart startup problem
- Mozart Version
- Mozart Version Number
- Mozart VM docs?
- Mozart vs Uniface
- Mozart vs. Java is missing
- mozart with suse 8.2
- Mozart, CCPs and Consistency!!!!
- Mozart.NET ?
- Mozart/Alice future and GUI building.
- Mozart/Oz developer position
- Mozart/Oz for AIX??
- mozart/oz support for relational databases
- Mozart/Prolog
- MozartGL
- mt10, abz6 solution output....
- Multi-language benchmark
- multiframe scrollbar implementation
- Multiple distributors
- My first NLP-in-Oz paper :-)
- my propagator written with CPI -> error on Linux
- mySQL client connection on Windows
- N-ary branching with the choice statement
- Name distinctness and search
- named choice points
- Names and capabilities
- Names as class features
- national characters and different encodings
- native & multithreading (2)
- Native Functors on Mac OS X
- near site
- nested functors?
- nesting marker
- new inspector for Mozart-1.2.1
- New Line Character
- New Mogul category
- New Mozart install
- New Mozart Mailing Lists
- New release (was: Build fails on SuSE 8.1)
- New user/Problem to compilate
- New user: Oz vs Ocaml?
- Newbie
- newbie question (consult
- newbie question (introspection)
- newbie question (toString)
- Newbie question: Compiling from promt ir feeding buffer from OPI?
- newbie question: deploying oz
- newbie questions
- newbie success (Remote in WINXX)
- newbie success (Vb-Oz tcp interface)
- Newbie: Questions about the Crew Allocation example
- newline bug?
- newlines in Gump
- News from the Mozart Release front
- NewServer memory leak?
- No reaction on Feed Buffer
- non stable spaces
- Non-blocking equality test
- non-blocking equality test II (continued)
- non-blocking equality test II - satisfied but intrigued
- not keyword
- Not possible to debug search by Ozcar?
- Object attribute
- object-relational mapping
- Observable Non Determinism in the declarative concurrent model? (CTM)
- ODBC Module for Oz
- OFFTOPIC Common feature set of clp(FD) libraries
- old \=: bug and docs issues
- Old Security Myths Continue to Mislead
- One more word: conditional summation
- One-shot recompuation
- OO vs declarative programming
- Openings at the Cork Constraint Computation Centre
- Operator redefinition
- opi feeds buffer
- OPI reports error, doesn't work
- Optimal graph coloring
- optional then?
- or statement (re)visited
- order of unification
- ordered execution
- OS
- OS ports
- os time
- OS write Space hierarchy Input/Output
- OsTime not documented
- oups!
- Outdated link
- Overriding imports?
- Oz & CORBA
- OZ an ODBC simple connction
- Oz And Capability Security
- oz applets
- Oz applets & Netscape
- Oz as a teaching language
- Oz as rule-based system
- Oz bug: tickles and umlauts
- Oz Classes --> UML Diagrams?
- Oz complaints
- OZ Emulator Output
- Oz idea
- Oz Investigator and First Class Constraints
- Oz language questions
- Oz Newbie: Map and Multiple Arguments?
- Oz Panel
- Oz presentation
- Oz Programming Style Guide?
- Oz questions [and mail bug]
- OZ SQL Database library
- Oz thread switching and native modules
- oz version of a prolog code
- Oz VM and Declarative Concurrency
- Oz-Doc?
- oz2tex.sty
- OZ_Term and OZ_CtDefinition
- ozc can't compile this functor with debug info
- ozdoc
- OzEngine Error: not valid page in Emulator.DLL
- ozh subject line in MOGUL
- ozmake
- ozmake & cygwin
- ozmake and normal Makefiles
- ozmake feature request
- Ozmake for OZ 1.3.0
- ozmake ld question
- ozmake linking multple *.o files into a single *.so file
- ozmake problem
- ozmake problems