Член : Увайсці |Рэгістрацыя |Загрузіць веды
Пошук
лагічнае праграмаванне Паралельнае абмежаванне [Мадыфікацыя ]
Паралельнае абмежаванне лагічнага праграмавання з'яўляецца версіяй абмежаванні лагічнага праграмавання накіравана перш за ўсё на праграмаванне паралельных працэсаў, а не (ці ў дадатак да) рашэнні задач задавальнення абмежаванняў. Мэты ў абмежаванні лагічнага праграмавання вылічаюцца адначасова; адначасовы працэс такім чынам запраграмаваны як ацэнка мэты з дапамогай перакладчыка.
Сінтаксічна паралельныя абмежаванні лагічных праграмы аналагічныя неконкурирующие праграмы, адзінае выключэнне ў тым, што пункты ўключаюць у сябе ахову, якія з'яўляюцца абмежаваннем, якія могуць блакаваць дастасавальнасць пункта пры некаторых умовах. Семантычны, адначасовае абмежаванне лагічнага праграмаванне адрозніваецца ад сваіх неконкурирующих версій, паколькі адзнака мэты прызначана для рэалізацыі паралельнага працэсу, а не знайсці рашэнне праблемы. У прыватнасці, гэтая розніца ўплывае як інтэрпрэтатар паводзіць сябе, калі больш чым адзін пункт выкарыстоўваецца і ў дачыненні: неконкурирующее абмежаванне лагічнага праграмавання рэкурсіўна спрабуе ўсе пункты; адначасовае абмежаванне лагічнага праграмавання выбірае толькі адзін. Гэта найбольш відавочны эфект меркаванай накіраваных перакладчыка, які ніколі не пераглядаць выбар яна раней прыняты. Іншыя эфекты гэтага з'яўляюцца семантычная магчымасць мець мэта, якая не можа быць даказаная, а ўся ацэнка не трывае няўдачу, і пэўным чынам для прыраўноўванне мэты і галаву дизъюнкцию.
правілы апрацоўкі абмежаванняў можа разглядацца як форма адначасовага абмежаванні лагічнага праграмавання, але выкарыстоўваюцца для праграмавання абмежаванні Simplifier або решатель, а не паралельныя працэсы.
[Constraint лагічнае праграмаванне][Перакладчык: вылічэнні][Рэкурсія]
1.апісанне
2.гісторыя
[Загружаць Больш за Змест ]


Аўтарскае права @2018 Lxjkh