Parallel logikalıq programmalastırıw
Parallel logikalıq programmalastırıw — bul parallel esaplawlar ushın proektlestirilgen logikalıq programmalastırıwdıń bir variantı bolıp, onda programmalar tómendegi formadaǵı qorǵalǵan Xorn qaǵıydaları jıynaǵı bolıp tabıladı:
- H :- G1, …, Gn | B1, …, Bn.
G1, … , Gn konyunksiyası qaǵıydanıń qorǵawshısı dep ataladı, al | — minnetleme operatorı bolıp tabıladı.
Deklarativ túrde, qorǵalǵan Xorn qaǵıydaları ádettegi logikalıq implikaciyalar retinde oqıladı:
H, eger G1 hám … hám Gn hám B1 hám … hám Bn bolsa.
Biraq, proceduralıq jaqtan, berilgen maqsetke H baslıları sáykes keletuǵın bir neshe qaǵıyda bar bolǵanda, onda barlıq qaǵıydalar parallel túrde orınlanadı, olardıń G1, … , Gn qorǵawshılarınıń orınlanıwın tekseredi. Eger birden kóp qaǵıydanıń qorǵawshıları orınlansa, onda qaǵıydalardıń birine minnetleme tańlaw etiledi hám orınlanıw tańlanǵan qaǵıydanıń B1, …, Bn ishki maqsetleri menen dawam etedi. Bul ishki maqsetler de parallel túrde orınlanıwı múmkin. Solay etip, parallel logikalıq programmalastırıw «bilmeymen determinizm emesligi» ornına «qızıqpayman determinizm emesligi» formasın ámelge asıradı.
Tariyxı
Birinshi parallel logikalıq programmalastırıw tili Keyt L. Klark hám Stiv Gregoriydiń Relational Language (Qatnas Tili) boldı, ol IC-Prolog-tan kelip shıqqan edi. Parallel logikalıq programmalastırıwdıń keyingi versiyalarına Exud Shapironıń Concurrent Prolog hám Uedanıń Guarded Horn Clause (Qorǵalǵan Xorn Qaǵıydaları) tili kiredi.
Parallel logikalıq programmalastırıwdıń rawajlanıwı, Guarded Horn Clause tili Yaponiyanıń Besinshi Áwlad Proekti (FGCS) sistemalıq programmalastırıw tili KL1-di ámelge asırıw ushın qollanılǵanda túrtki aldı. FGCS Proekti — bul Yaponiyanıń Xalıqaralıq Sawda hám Sanaat Ministrliginiń 1982-jılı baslanǵan, jasalma intellekt qosımshaları ushın massalıq parallel esaplaw/qayta islewdi paydalanıwǵa arnalǵan 400 million dollarlıq baslaması edi. Parallel logikalıq programmalastırıwdıń apparatlıq támiynat penen qosımshalar arasındaǵı «jetispey turǵan baylanıs» retinde tańlanıwına 1982-jılı Concurrent Prolog-tı oylap tapqan Exud Shapironıń FGCS Proektine keliwi tásir etti.
Ádebiyatlar
Clark, Keith Leonard; Gregory, Steve (1981). A relational language for parallel programming. Proceedings of the 1981 conference on Functional programming languages and computer architecture. Association for Computing Machinery. pp. 171–178.