Sheklewli programmalastırıw

Sheklewli programmalastırıw (CP) — bul jasalma intellekt, kompyuter ilimi hám operaciyalardı izertlew tarawlarınıń keń kólemli usıllarına súyenetuǵın kombinatorlıq máselelerdi sheshiw paradigması. Sheklewli programmalastırıwda paydalanıwshılar sheshim ózgeriwshileri toplamı ushın múmkin bolǵan sheshimlerge qoyılatuǵın sheklewlerdi deklarativ túrde kórsetedi. Sheklewler imperativ programmalastırıw tilleriniń ádettegi primitivlerinen ayırmashılıq etedi, sebebi olar orınlanıwı kerek bolǵan qádemdi yamasa qádemler izbe-izligin kórsetpeydi, kerisinshe tabılıwı kerek bolǵan sheshimniń qásiyetlerin kórsetedi. Sheklewlerden tısqarı, paydalanıwshılar bul sheklewlerdi sheshiw usılın da kórsetiwi kerek. Bul ádette xronologiyalıq keri izlew hám sheklewlerdi tarqatıw sıyaqlı standart usıllarǵa súyenedi, biraq máselege tán tarmaqlanıw evristikası sıyaqlı arnawlı kodtı da paydalanıwı múmkin.

Sheklewli programmalastırıw óz tamırların sheklewli logikalıq programmalastırıwdan aladı hám sol formada ańlatılıwı múmkin, ol sheklewlerdi logikalıq programmaǵa jaylastıradı. Logikalıq programmalastırıwdıń bul variantı Prolog II-de kirgizilgen sheklewlerdiń belgili bir klasın 1987-jılı keńeytken Jaffar hám Lassezge tiyisliJaffar, Joxan, and J-L. Lassez. "Constraint logic programming." Proceedings of the 14th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 1987.. Sheklewli logikalıq programmalastırıwdıń birinshi implementaciyaları Prolog III, CLP(R) hám CHIP boldı.

Logikalıq programmalastırıw ornına, sheklewlerdi funkcional programmalastırıw, term qayta jazıw hám imperativ tiller menen aralastırıwǵa boladı. Sheklewler ushın ornatılǵan qollap-quwatlawı bar programmalastırıw tillerine Oz (funkcional programmalastırıw) hám Kaleidoscope (imperativ programmalastırıw) kiredi. Kóbinese, sheklewler imperativ tillerde bar bolǵan imperativ til ushın bólek kitapxanalar bolıp tabılatuǵın sheklewlerdi sheshiw qurallar toplamı arqalı ámelge asırıladı.

 Sheklewli logikalıq programmalastırıw 
Sheklewli programmalastırıw — bul sheklewlerdi qabıllawshı tilge jaylastırıw. Birinshi paydalanılǵan qabıllawshı tiller logikalıq programmalastırıw tilleri boldı, sonlıqtan bul taraw dáslep sheklewli logikalıq programmalastırıw dep ataldı. Eki paradigma logikalıq ózgeriwshiler hám keri izlew sıyaqlı kóp áhmiyetli ózgesheliklerdi bólisedi. Búgingi kúnde kópshilik Prolog implementaciyaları sheklewli logikalıq programmalastırıw ushın bir yamasa bir neshe kitapxananı óz ishine aladı.

Ekewiniń arasındaǵı ayırmashılıq tiykarınan olardıń dúnyanı modellestiriw stillerinde hám usıllarında. Geypara máselelerdi logikalıq programmalar retinde jazıw tábiyiyrek (hám solay etip, ápiwayıraq), al geyparaların sheklewli programmalar retinde jazıw tábiyiyrek.

Sheklewli programmalastırıw usılı — bul bir waqıtta úlken sanlı sheklewler qanaatlandırılǵan dúnya jaǵdayın izlew. Másele ádette bir qatar belgisiz ózgeriwshileri bar dúnya jaǵdayı retinde kórsetiledi. Sheklewli programma barlıq ózgeriwshiler ushın mánislerdi izleydi.

Waqıtlıq parallel sheklewli programmalastırıw (TCC) hám anıq emes waqıtlıq parallel sheklewli programmalastırıw (MJV) — bul waqıt penen islese alatuǵın sheklewli programmalastırıwdıń variantları..

 Derekler 

Kategoriya:Programmalastırıw paradigmaları
__BÖLİDİMÖNDEMEW__