Notice: Undefined index: linkPowrot in C:\wwwroot\wwwroot\publikacje\publikacje.php on line 1275
[5012] Artykuł: Paradygmat programowania w logice z ograniczeniami na przykładzie języka Oz pakietu MOZART(Constraint logic programming in the context of multi-paradigm programming - Oz/MOZART environment)Czasopismo: Zeszyt Naukowy Politechniki Świętokrzyskiej seria Elektryka nr 43 Zeszyt: 43, Strony: 225-230 ISSN: 0239-4960 Opublikowano: 2005 Autorzy / Redaktorzy / Twórcy Grupa MNiSW: Inne zwarte wydawnictwa cykliczne jednostek naukowych 2 kategorii w latach 2005-2006 Punkty MNiSW: 3 YADDA/CEON Słowa kluczowe: planowanie produkcji  metodyka CLP  Keywords: |
W artykule przedstawiono możliwości opisu problemów z obszaru planowania produkcji przy wykorzystaniu technik bazujących na ograniczeniach. Zaproponowano metodykę CLP (Constraint Logic Programming) do rozwiązania problemu optymalizacji doboru wyposażenia sprzętowego. Jako język implementacji problemu wybrano Oz pakietu MOZART.
Oz is a multi-paradigm language that supports logic programming as one of the major paradigms. The Oz supports for logic programming is targeted specifically towards algorithmic and search problems. In the paper the implementation of optimization problem of equipment selection in Oz/MOZART environment has been presented.