"Mocartas programavimo sistema yra pažangi kūrimo platforma protingas, paskirstytųjų programų. Sistema yra iš mokslinių tyrimų programavimo kalbos kūrimą ir įgyvendinimą, apribojimų pagrindu išvadą, paskirstyto skaičiavimo ir žmogaus-kompiuterio sąsajos dešimtmetį, rezultatas.
Kaip rezultatas, Mocartas yra neprilygstamas išraiškingas galios ir funkcionalumo. Mocartas turi interaktyvų padidėjimo kūrimo aplinka ir gamyba kokybės įgyvendinimą Unix ir Windows platformų. Mocartas yra nuolat mokslinių tyrimų srityje pagal Mozarto konsorciumo vaisių.
Mocartas remiasi Oz kalba, kuri palaiko deklaratyvi programavimo, Objektinis programavimas, apribojimo programavimą, ir lygiagrečiai vykdant nuoseklią visumą.
Dėl platinimo, Mocartas suteikia tikrą tinklo skaidrų įgyvendinimą paramos tinklo supratimo, atvirumo ir gedimui atsparūs. Saugumas yra artėjančių. Mocartas yra ideali platforma tiek bendrosios paskirties paskirstytųjų programų, taip pat kietų problemas reikia atlikti sudėtingą optimizavimas ir inferencing gebėjimus.
Mes sukūrėme daug programų, įskaitant sudėtingų bendradarbiavimo įrankius, multi-agentų sistemos ir skaitmeninių asistentų, taip pat paraiškų natūralios kalbos supratimo ir žinių vaizdavimo, visų planavimas ir laiko pateikimo ir vietą ir konfigūraciją.
Mocartas sistema suteikia state-of-the-art paramą dviejose srityse: atviro paskirstyto skaičiavimo ir apribojimų pagrindu išvadą. Mocartas įgyvendina Oz, suderintą Objektinis kalbą su dataflow sinchronizacija.
Ozas sujungia tuo pačiu metu ir paskirstyta programavimo su loginiu apribojimų pagrindu išvadą, todėl unikalus pasirinkimas kuriant kelių agentas sistemas. Mocartas yra ideali platforma tiek bendrosios paskirties paskirstytųjų programų, taip pat kietų problemas reikia atlikti sudėtingą optimizavimas ir inferencing gebėjimus. Mes sukūrėme paraiškas planavimo ir laiko pateikimo, į vietą ir konfigūraciją, natūralios kalbos ir žinių vaizdavimo, multi-agentų sistemos ir sudėtingų bendradarbiavimo priemonėmis.
Štai keletas pagrindinių ypatybių "Mozart":
Objektinis programavimas
Komentarai nerastas