The Mozart system is a development platform focused on open distributed computing and constraint-based inferrence. The system provides excellent support for logic and constraint programming, making it an excellent choice for implementing multi-agent systems. The language has recently been popularized by the book Concepts, Techniques, and Models of Computer Progamming. This package contains the standard libraries for the language.
The Mozart system is a development platform focused on open distributed computing and constraint-based inferrence. The system provides excellent support for logic and constraint programming, making it an excellent choice for implementing multi-agent systems. The language has recently been popularized by the book Concepts, Techniques, and Models of Computer Progamming. This package contains the standard libraries for the language.
To install mozart-stdlib, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install mozart-stdlib
To see what files were installed by mozart-stdlib, run:
port contents mozart-stdlib
To later upgrade mozart-stdlib, run:
sudo port selfupdate && sudo port upgrade mozart-stdlib
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.