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 port installs the documentation and help files.
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 port installs the documentation and help files.
To install mozart-doc, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install mozart-doc
To see what files were installed by mozart-doc, run:
port contents mozart-doc
To later upgrade mozart-doc, run:
sudo port selfupdate && sudo port upgrade mozart-doc
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.