Prolog نى فورتقا تۈزۈش [pdf]

مۇمكىن بولمايدىغان بىرىكىش: لوگىكىلىق پروگرامما تۈزۈش تۆۋەن دەرىجىدىكى ئىجرا بىلەن ئۇچرىشىدۇ

Prolog ۋە Forth دۇنياسى پروگرامما پەلسەپىسىنىڭ ئىككى چېكىدىن ئېشىپ كەتكەن. Prolog ، يۇقىرى سەۋىيىلىك لوگىكىلىق پروگرامما تىلى ، لوگىكىلىق مۇناسىۋەتنىڭ نەپىس ئابستراكتسىيىسى ، ئەندىزە ماسلىشىشى ۋە خىتابنامىنى ھەل قىلىش ئاساسىدا ياسالغان. بۇنىڭغا سېلىشتۇرغاندا ، فورت تۆۋەن دەرىجىدىكى ، دۆۋىلەپ قويۇلغان مەجبۇرىي تىلنىڭ نامايەندىسى بولۇپ ، ئۇنىڭ ئەڭ تۆۋەنلىكى ، قاتتىق دېتالنى كونترول قىلىش ۋە چاقماق ئىجرا قىلىش سۈرئىتى بىلەن قەدىرلىنىدۇ. ئالدىنقىسىنى كېيىنكىلەرگە تۈزۈش ئۇقۇمى قارىماققا شېئىرنى قۇراشتۇرۇش كودىغا تەرجىمە قىلغاندەك قىلىدۇ - گۇمانلىق ئەمەلىيەتنىڭ ئىلمىي مەشىقى. قانداقلا بولمىسۇن ، Prolog نى فورتقا تۈزۈش جەريانى كىشىنى مەپتۇن قىلارلىق تېخنىكىلىق ئىقتىدار بولۇپ ، ئۇ ھەر ئىككى تىلغا چوڭقۇر چۈشەنچىنى كۆرسىتىپ بېرىدۇ ھەمدە يۇقىرى ئۈنۈملۈك ، ئېلىپ يۈرۈشكە ئەپلىك لوگىكىلىق پروگرامما تۈزۈش سىستېمىسىنى بارلىققا كەلتۈرۈشكە قايىل قىلارلىق يول بىلەن تەمىنلەيدۇ. Mewayz غا ئوخشاش مودۇللۇق مەشغۇلات سىستېمىسىنى ئىشلىتىۋاتقان كارخانىلارغا نىسبەتەن ، بۇ خىل چوڭقۇر قاتلاملىق ئەلالاشتۇرۇش مەخسۇس ، يۇقىرى ئىقتىدارلىق قوراللارنى بىرلەشتۈرۈلگەن خىزمەت ئېقىمىغا بىرلەشتۈرۈشنىڭ كۈچىنى كۆرسىتىپ بېرىدۇ.

پروگىرامما تۈزۈش: بىرلىشىشتىن سىتاستىكا مەشغۇلاتى

بۇ تۈزۈش جەريانىدىكى يادرولۇق رىقابەت Prolog نىڭ ئابستراكت ھېسابلاش ئەندىزىسىنى فورتنىڭ كونكرېت ، باسقۇچلۇق كۆرسەتمىسىگە تەرجىمە قىلىشتا. Prolog نىڭ ئىجرا قىلىنىشى بىرلىشىش (لوگىكىلىق ئاتالغۇلارنى ماسلاشتۇرۇش جەريانى) ۋە كەينىگە قايتىش (باشقا ھەل قىلىش چارىسى ئىزدەش) دىن ئىبارەت ئىككى ئاچقۇچلۇق مېخانىزىمنىڭ تۈرتكىسىدە. Prolog-to-Forth تۈزگۈچى چوقۇم بۇ يۇقىرى قاتلاملىق ئۇقۇملارنى بىر قاتار تۆۋەن دەرىجىلىك مەشغۇلاتلارغا ئايلاندۇرۇشى كېرەك. مەسىلەن ، بىرلىككە كەلتۈرۈش ، تۈرلەرنى كونترول قىلىش تەرتىپىگە ئايلىنىدۇ - ئاتالغۇلارنى ئىتتىرىش ، سېلىشتۇرۇش ۋە ئۆزگىرىشچان باغلىنىشنى باشقۇرۇش. تۈزگۈچى چوقۇم مۇرەككەپ سانلىق مەلۇمات قۇرۇلمىلىرىنى (لوگىكىلىق ئاتالغۇلارغا ۋەكىللىك قىلىدىغان دەرەخلەرگە ئوخشاش) بېسىپ ئۆتەلەيدىغان Forth كودى ھاسىل قىلىشى ھەمدە ئارقىغا قايتىش جەريانىدا ئۆزگىرىشچان ئامىللارنى قوزغىتالايدىغان ، كېيىن «دەرھال قوزغىتىلمايدىغان» مۇھىتنى ساقلىشى كېرەك. بۇنىڭ ئۈچۈن فورتنىڭ ئاساسىي سۆزلىرىنىڭ ئۈستىگە ياسالغان مۇرەككەپ ئىجرا ۋاقتى مودېلى تەلەپ قىلىنىدۇ.

كەينىگە قايتىشنى يولغا قويۇش: ئىزدەشنىڭ يۈرىكى

بەلكىم تۈزۈشنىڭ ئەڭ مۇرەككەپ قىسمى Prolog نىڭ كەينىگە قايتىش ئىزدەش ھېسابلاش ئۇسۇلىنى يولغا قويغان بولۇشى مۇمكىن. Prolog دا ، نىشان مەغلۇپ بولغاندا ، ماتور ئەڭ ئاخىرقى تاللاش نۇقتىسىغا قايتىپ ، باشقىچە يولنى سىنايدۇ. بۇنى فورتتا كۆپەيتىش ئۈچۈن ، تۈزگۈچى چوقۇم ھېسابلاش ھالىتىنى ساقلاش ۋە ئەسلىگە كەلتۈرۈش مېخانىزمى بەرپا قىلىشى كېرەك. بۇ ئادەتتە Forth نىڭ سانلىق مەلۇمات ئامبىرى ۋە ئەڭ مۇھىمى ئايرىم قايتىش ئورنى ياكى مەخسۇس ساقلاش رايونى ئارقىلىق تاللاش نۇقتىلىرىنى ساقلاش ئارقىلىق ئەمەلگە ئاشىدۇ. تاللاش نۇقتىسى ماشىنىنىڭ ھالىتىنىڭ بىر پارچە سۈرىتى ، يەنى ئۆزگىرىشچان باغلىنىش ، نۆۋەتتىكى كود كۆرسەتكۈچى ۋە سىناقتىن ئۆتمىگەن باشقا ماددىلار. تۈزۈلگەن كود ئالدىن پەرەزنىڭ ماس كېلىدىغان ماددىلىرى بولغان ھامان تاللاش نۇقتىسىنى دۆۋىلەپ قويۇش ھەققىدىكى كۆرسەتمىلەرنى ئۆز ئىچىگە ئالىدۇ. مەغلۇپ بولغاندا ، ئىجرا سىستېمىسى ئەڭ يېڭى تاللاش نۇقتىسىنى چىقىرىپ ، دۆلەتنى ئەسلىگە كەلتۈرىدۇ ۋە كېيىنكى سىناق قىلىنمىغان ماددىغا ئاتلىنىدۇ. بۇ نەپىس ، ئەگەر مۇرەككەپ بولسا ، ئۇسسۇل فورتنىڭ دېتېرمىنىزىم ئېقىمىنى Prolog نىڭ ئېنىقلىمىغان ئىزدىشىگە ئايلاندۇرىدۇ.

«Prolog غا ئوخشاش يۇقىرى سەۋىيىلىك تىلنى فورتقا ئوخشاش تۆۋەن دەرىجىدىكى نىشانغا تۈزۈش پەقەت گرامماتىكىنىڭ تەرجىمىسى بولۇپلا قالماستىن ؛ ئۇ يەنە بىرىنىڭ ئىپتىدائىي مەشغۇلاتىدىن پايدىلىنىپ ئابستراكت ماشىنا مودېلىنى قايتا تەسەۋۋۇر قىلىش. بۇ خىل تەۋەككۈلچىلىكنىڭ مۇۋەپپەقىيىتى ساداقەتمەنلىك بىلەن بىرلەشتۈرۈش ۋە ئارقىغا چېكىنىشنى ئاساس قىلغان ئۈنۈملۈك ئىجرا سىستېمىسىنى لايىھىلەشكە باغلىق».

ئەمەلىي تەسىرلەر ۋە Mewayz ئۇلىنىشى

نېمىشقا بۇنداق مۇرەككەپ ۋەزىپىنى ئۈستىگە ئالىدۇ؟ بۇنىڭ پايدىسى ناھايىتى مۇھىم. Forth ئېلىپ يۈرۈشكە ئەپلىك ۋە كىچىك ئىچكى ساقلىغۇچ ئىزى بىلەن داڭلىق. فورتقا تۈزۈلگەن Prolog سىستېمىسى قىستۇرما سىستېما ، مىكرو كونتروللىغۇچ ياكى Forth تەرجىمانى بار ھەر قانداق سۇپادا ئىجرا بولۇپ ، بايلىق چەكلىمىگە ئۇچرىغان مۇھىتقا كۈچلۈك لوگىكىلىق پروگرامما تۈزۈش ئىقتىدارىنى ئېلىپ كېلىدۇ. ئۇندىن باشقا ، ھاسىل قىلىنغان كود ناھايىتى تېز بولۇپ ، ھاسىل قىلىنغان كود ئورۇق ھەم ئەڭ تۆۋەن چەكتە ئىجرا بولىدۇ. ئىخچام ، مەقسەتلىك ياسالغان مودۇللارنى بارلىققا كەلتۈرۈشتىن ئىبارەت بۇ پەلسەپە Mewayz مودۇللۇق سودا OS بىلەن مۇكەممەل ماسلىشىدۇ. مېۋايز ۋەزىپىسىنى ئەڭ يۇقىرى ئۈنۈم بىلەن ئورۇندىغان مەخسۇس زاپچاسلارنى بىرلەشتۈرۈشتە روناق تاپىدۇ.

بىۋاسىتە Mewayz مودۇلى ئىچىدە مۇرەككەپ قارار چىقىرىشنىڭ قائىدە ماتورىنى قىستۇرۇشنى تەسەۋۋۇر قىلىپ بېقىڭ. ئەگەر بۇ ماتور تېز ، ئېلىپ يۈرۈشكە ئەپلىك Forth مەۋھۇم ماشىنىنى نىشانلىغان Prolog تۈزگۈچى بولسا ، ئۇ قاتتىق دېتالغا تايانماي ، ئالاھىدە سۈرئەت ۋە ئىشەنچلىك ھالدا سودا لوگىكىسىنى بىر تەرەپ قىلالايدۇ. بۇ خىل ئۇسۇلنىڭ مۇھىم ئەۋزەللىكى تۆۋەندىكىلەرنى ئۆز ئىچىگە ئالىدۇ:

• ھەددىدىن زىيادە ئېلىپ يۈرۈشكە ئەپلىك: مۇلازىمېتىردىن قىرغاق ھېسابلاش تۈگۈنىگىچە بولغان نۇرغۇن ئۈسكۈنىلەردە مۇرەككەپ سودا لوگىكىسىنى ئىجرا قىلىڭ.
• يۇقىرى ئىقتىدار: ئۆلچەملىك Prolog ئەمەلىيلەشتۈرۈشتە كۆپ ئۇچرايدىغان چۈشەندۈرۈش قاتلىمىدىن ئايلىنىپ ئۆتۈپ ، تېخىمۇ تېز ئىجرا قىلىشنى ئەمەلگە ئاشۇرۇڭ.
• كىچىك ئاياغ ئىزى: ئەڭ تۆۋەن ئىچكى ساقلىغۇچ ۋە ساقلاش تەلىپى بار كۈچلۈك قوللىنىشچان پروگراممىلارنى قۇرۇڭ.
• چوڭقۇر بىرلەشتۈرۈش: لوگىكىلىق پروگرامما تۈزۈشنى چوڭ مودۇللۇق سىستېمىنىڭ يەرلىك تەركىبىي قىسمى سۈپىتىدە ئۆز ئىچىگە ئالىدۇ.