See MozartProgrammingSystem for the Mozart/Oz development platform, or OzLanguage for the Oz 3 language.