ምጥርናፍ ፕሮሎግ ናብ ንቕድሚት [pdf]

<ዓንቀጽ>

እቲ ዘይተጸበናዮ ምትእኽኻብ: ሎጂክ ፕሮግራሚንግ ምስ ትሑት ደረጃ ምፍጻም የራኽብ

ዓለማት ፕሮሎግን ፎርትን ክልተ ጫፋት ፍልስፍና ፕሮግራሚንግ ይውክላ። ፕሮሎግ፡ ልዑል ደረጃ ዘለዎ ስነ-መጐታዊ ፕሮግራሚንግ ቋንቋ፡ ኣብቲ ውቁብ ርጡብ ርጡብነት ስነ-መጐታዊ ዝምድናታት፡ ምትእስሳር ቅዲን ኣዋጃዊ ምፍታሕ ጸገማትን ዝተሃንጸ እዩ። ብኣንጻሩ ፎርት፡ ምሳሌ ናይ ሓደ ትሑት ደረጃ ዘለዎ፡ ኣብ ስታክ ዝተመርኮሰ ግዴታዊ ቋንቋ ኮይኑ፡ ብውሑድነት፡ ቀጥታዊ ምቁጽጻር ሃርድዌርን ብዝነድድ ፍጥነት ምፍጻምን ክቡር እዩ። ነቲ ቀዳማይ ናብቲ ካልኣይ ምጥርናፍ ዝብል ኣምር፡ ንግጥሚ ናብ ኣሰምብሊ ኮድ ምትርጓም ክመስል ይኽእል እዩ- እዚ ድማ ኣብ ሕቶ ዘእቱ ተግባራዊነት ዘለዎ ኣካዳሚያዊ ልምምድ እዩ። ይኹን እምበር፡ መስርሕ ምጥርናፍ ፕሮሎግ ቱ ፎርዝ፡ ኣብ ክልቲኡ ቋንቋታት ዓሚቝ ርድኢት ዝገልጽን ኣዝዩ ውጽኢታዊ፡ ተንቀሳቓሲ ስርዓታት ፕሮግራሚንግ ሎጂክ ንምፍጣር ዘገድድ መንገዲ ዝህብን መሳጢ ቴክኒካዊ ቅያ እዩ። ከም መዋይዝ ዝኣመሰሉ ሞዱላር ስርዓተ ምምሕዳር ንዝጥቀሙ ትካላት ንግዲ፡ ከምዚ ዓይነት ዓሚቝ ደረጃ ምምሕያሽ፡ ፍሉያት፡ ልዑል ብቕዓት ዘለዎም መሳርሒታት ናብ ሓደ ውሁድ ዋሕዚ ስራሕ ናይ ምውህሃድ ሓይሊ የጉልሕ።

ምፍራስ ፕሮሎግ፡ ካብ ውህደት ናብ ስርሒታት ምድማር

እቲ ቀንዲ ብድሆ ናይዚ መስርሕ ምጥርናፍ፡ ነቲ ናይ ፕሮሎግ ኣብስትራክት ኮምፑተሽናል ሞዴል ናብቲ ናይ ፎርት ጭቡጥ፡ ደረጃ ብደረጃ መምርሒታት ኣብ ምትርጓም እዩ። ኣፈጻጽማ ፕሮሎግ ብኽልተ ቁልፊ ኣገባባት ዝድረኽ ኮይኑ፡ ውህደት (መስርሕ ምትእስሳር ስነ-መጐታዊ ቃላት)ን ንድሕሪት ምምላስን (ኣማራጺ ፍታሕ ምድላይ)። ሓደ ፕሮሎግ-ቱ-ፎርት ኣከባቢርካ ነዞም ላዕለዎት ደረጃታት ኣምር ናብ ተኸታታሊ ትሑት ደረጃ ስርሓት ክፈርሶም ኣለዎ። ንኣብነት ውህደት፡ ቅደም ተኸተል ናይ ስታክ ምትላል ይኸውን- ቃላት ምድፋእ፡ ምውድዳርን ተለዋዋጢ ምትእስሳር ምምሕዳርን። እቲ ኣከባቢርካ ዝሰርሕ ንዝተሓላለኹ ቅርጽታት ዳታ (ከም ሎጂካዊ ቃላት ዝውክሉ ኣግራብ) ክሓልፍ ዝኽእልን ኣብ እዋን ምምላስ ተለዋዋጢ ረቛሒታት ምሳሌ ክግበረሎምን ድሒሩ ድማ "ዘይተሳተፉሉ" ሃዋህው ክሕሉን ኣለዎ። እዚ ድማ ኣብ ልዕሊ መሰረታዊ ቃላት ፎርት ዝተሃንጸ ዝተራቐቐ ናይ ምዝዋር ግዜ ሞዴል ይሓትት።

ምትግባር ንድሕሪት ምምላስ፡ ልቢ ምድላይ

ምናልባት እቲ ኣዝዩ ዝተሓላለኸ ክፋል ናይቲ ምትእኽኻብ፡ ናይ ፕሮሎግ ንድሕሪት ዝምለስ ናይ ምድላይ ኣልጎሪዝም ምትግባር ክኸውን ይኽእል። ኣብ ፕሮሎግ ሓደ ሸቶ ምስ ዝፈሽል ሞተር ናብቲ ናይ መወዳእታ ምርጫ ነጥቢ ንድሕሪት ተመሊሱ ካልእ መንገዲ ይፍትን። ነዚ ኣብ ፎርት ንምድጋም፡ እቲ ኣከባቢሩ፡ ንኹነታት ናይቲ ስሌት ዝዕቅብን ንምምላስን ዝሕግዝ መካኒዝም ክፈጥር ኣለዎ። እዚ ብተለምዶ ናይ ፎርዝ ዳታ ስታክን ወሳኒ ድማ ንበይኑ ሪተርን ስታክ ወይ ውፉይ መዘክር ዞባ ተጠቒምካ ምርጫ ነጥብታት ንምኽዛን ዝረጋገጽ እዩ። ምርጫ ነጥቢ ቅጽበታዊ ስእሊ ናይቲ ማሽን ኩነታት እዩ-ተለዋዋጢ መእሰሪታት፣ ናይ ሕጂ ኮድ ጠቋሚን ገና ዘይተፈተኑ ኣማራጺ ሓረጋትን ሓዊሱ። እቲ ዝተጠርነፈ ኮድ፡ ሓደ ቅድመ-ጥብቆ ብዙሓት ዝሰማምዑ ሓረጋት ኣብ ዘለዎ እዋን፡ ንሓደ ናይ ምርጫ ነጥቢ ናብ ስታክ ንምድፋእ ዝሕግዝ መምርሒታት የጠቓልል። ምስ ዝፈሽል፡ እቲ ናይ ምዝዋር ግዜ ስርዓት ነቲ ናይ ቀረባ እዋን ምርጫ ነጥቢ ይወስዶ፡ ነቲ ኩነታት ይመልሶ፡ ናብቲ ዝቕጽል ዘይተፈተነ ዓንቀጽ ድማ ይዘልል። እዚ ውቁብ እንተኾይኑ ዝተሓላለኸ ሳዕስዒት ንውሳኒ ዋሕዚ ፎርት ናብ ዘይውሳኒ ምድላይ ፕሮሎግ ይቕይሮ።

<ብሎክኮት> ዝብል ጽሑፍ ኣሎ። "ከም ፕሮሎግ ዝኣመሰለ ልዑል ደረጃ ዘለዎ ቋንቋ ናብ ከም ፎርት ዝኣመሰለ ትሑት ደረጃ ዕላማ ምጥርናፍ ትርጉም ስነ-ቓል ጥራይ ኣይኮነን፤ ንናይ ካልእ መበቆላዊ ስርሓት ተጠቒምካ ንሓደ ኣብስትራክት ሞዴል ማሽን ዳግማይ ምሕሳብ እዩ። ዓወት ናይ ከምዚ ዓይነት ስራሕ ኣብ ምሕንጻጽ ውሁድ ስርዓተ ምዝዋር ግዜ ብተኣማንነት ክመስልን ኣብ ስታክ ዝተመርኮሰ ስነ-ህንጻ ንድሕሪት ምምላስን እዩ ዝምርኮስ።" ዝብል ጽሑፍ ኣሎ።

ግብራዊ ትርጉሙን ምትእስሳር መዋይዝን

ንምንታይ ከምዚ ዝበለ ዝተሓላለኸ ዕማም ትወስድ? እቲ ረብሓ ልዑል እዩ። ፎርት ብተንቀሳቓሲነታን ንእሽቶ ኣሰር መዘክርን ፍልጥቲ እያ። ናብ ፎርት ዝተጠርነፈ ፕሮሎግ ስርዓት ኣብ ዝተሰረተ ስርዓታት፣ ማይክሮኮንትሮለራት ወይ ዝኾነ መድረኽ ምስ ፎርት ተርጓሚ ክሰርሕ ይኽእል እዩ፣ እዚ ድማ ሓያል ናይ ሎጂክ ፕሮግራሚንግ ዓቕሚ ናብ ጸጋታት ዝተሓጽረ ከባቢታት የምጽእ እዩ። ካብዚ ሓሊፉ እቲ ዝፍጠር ስርዓት ኣዝዩ ቅልጡፍ ክኸውን ይኽእል እዩ፣ ምኽንያቱ እቲ ዝፍጠር ኮድ ጽጉብ ስለዝኾነን ብውሑድ ልዕሊ ዋጋ ስለዝፍጸምን እዩ። እዚ ፍልስፍና ምፍጣር ስሉጥ፣ ንዕላማ ዝተሃንጹ ሞዱላት ምስ መዋይዝ ሞዱላር ቢዝነስ ኦኤስ ፍጹም ይሰማማዕ። መዋይዝ ዕማማቶም ብዝለዓለ ብቕዓት ዝፍጽሙ ፍሉያት ኣካላት ኣብ ምውህሃድ ይስስን።

ንዝተሓላለኸ ውሳነታት ዝኸውን ሞተር ሕግታት ብቐጥታ ኣብ ውሽጢ ሞዱል መዋይዝ ምትእትታው እሞ ሕሰብ። እቲ ሞተር ንቕልጡፍን ተንቀሳቓስን ፎርዝ ቨርቹዋል ማሽን ዝዓለመ ፕሮሎግ ኮምፓይለር እንተኾይኑ፡ ካብቲ መሰረታዊ ሃርድዌር ነጻ ኮይኑ፡ ንቢዝነስ ሎጂክ ብፍሉይ ፍጥነትን ተኣማንነትን ከሰላስል ይኽእል እዩ። ናይ ከምዚ ዓይነት ኣገባብ ቀንዲ ብልጫታት ድማ፡

ዝብል ጽሑፍ ኣሎ።
• ኣዝዩ ተንቀሳቓሲነት፦ ኣብ ሰፊሕ ዝርዝር መሳርሒታት፡ ካብ ሰርቨር ክሳብ ወሰን ኮምፒዩቲንግ ኖድስ ዝተሓላለኸ ንግዳዊ ስነ-መጐት ኣካይድ።
• ልዑል ኣፈጻጽማ: ኣብ መደበኛ ኣተገባብራታት ፕሮሎግ ልሙድ ዝኾነ ንብርክታት ትርጉም ብምሕላፍ ዝቐልጠፈ ኣፈጻጽማ ምምዝጋብ።
• ንእሽቶ ኣሰር: ዝተሓተ መዘክርን መኽዘንን ዘድልዮም ሓያላት መተግበሪታት ምፍጣር።
• ዓሚቕ ውህደት: ሎጂክ ፕሮግራሚንግ ከም መበቆላዊ ኣካል ኣብ ውሽጢ እቲ ዝዓበየ ሞዱላዊ ስርዓት ብዘይ ገለ ጸገም ምውህሃድ።

ዝብል ጽሑፍ ኣሎ።

መደምደምታ፡ ድልድል ኣብ መንጎ ፓራዳይማት

Prolog to Forth ምጥርናፍ ተዓጻጻፍነት ክልቲኡ ቋንቋታት ምስክር እዩ። ዋላ እቶም ኣዝዮም ኣብስትራክት ዝኾኑ ናይ ፕሮግራሚንግ ፓራዳይማት ኣብ ስሉጥን ትሑት ደረጃ ዘለዎምን ሞዴላት ምፍጻም ክምስረት ከም ዝኽእሉ ዘርኢ እዩ። ንሱ ግን ናይ ኣከባቢ ዲዛይን ፍሉይ ዓውዲ ኮይኑ ክቕጽል እንከሎ፡ እቶም ኣብኡ ዝሳተፉ መትከላት-ብቑዕ ምሕደራ ዝኽሪ፡ ምክትታል ኩነታት ምዝዋርን ስግረ-ፓራዳይም ትርጉምን-ብኣድማሳዊ ኣገደስቲ እዮም። ከም በዓል መዋይዝ ዝኣመሰሉ ንሞዱላሪቲን ኣፈጻጽማን ዋጋ ዝህቡ መድረኻት፡ እዚ ዓይነት ዓሚቕ ቴክኒካዊ ውህደት፡ ድልዱልን ተዓጻጻፍን ንግዳዊ ስርዓታት ንምህናጽ ቁልፊ እዩ። ከምዚኦም ዝኣመሰሉ ዝተፈላለዩ ናይ ስሌታዊ ዓለማት ከመይ ጌርካ ከም እትድልድሎም ብምርዳእ፡ ብልክዕ ኣብቲ ዘድልየሉ ቦታ ንብልሒ ዘለዎ ስነ-መጐት ንምውፋር ሓድሽ ተኽእሎታት ንኸፍት።

ዝብል ጽሑፍ ኣሎ።

ብተደጋጋሚ ዝሕተቱ ሕቶታት

እቲ ዘይተጸበናዮ ምትእኽኻብ: ሎጂክ ፕሮግራሚንግ ምስ ትሑት ደረጃ ምፍጻም የራኽብ

ዓለማት ፕሮሎግን ፎርትን ክልተ ጫፋት ፍልስፍና ፕሮግራሚንግ ይውክላ። ፕሮሎግ፡ ልዑል ደረጃ ዘለዎ ስነ-መጐታዊ ፕሮግራሚንግ ቋንቋ፡ ኣብቲ ውቁብ ርጡብ ርጡብነት ስነ-መጐታዊ ዝምድናታት፡ ምትእስሳር ቅዲን ኣዋጃዊ ምፍታሕ ጸገማትን ዝተሃንጸ እዩ። ብኣንጻሩ ፎርት፡ ምሳሌ ናይ ሓደ ትሑት ደረጃ ዘለዎ፡ ኣብ ስታክ ዝተመርኮሰ ግዴታዊ ቋንቋ ኮይኑ፡ ብውሑድነት፡ ቀጥታዊ ምቁጽጻር ሃርድዌርን ብዝነድድ ፍጥነት ምፍጻምን ክቡር እዩ። ነቲ ቀዳማይ ናብቲ ካልኣይ ምጥርናፍ ዝብል ኣምር፡ ንግጥሚ ናብ ኣሰምብሊ ኮድ ምትርጓም ክመስል ይኽእል እዩ- እዚ ድማ ኣብ ሕቶ ዘእቱ ተግባራዊነት ዘለዎ ኣካዳሚያዊ ልምምድ እዩ። ይኹን እምበር፡ መስርሕ ምጥርናፍ ፕሮሎግ ቱ ፎርዝ፡ ኣብ ክልቲኡ ቋንቋታት ዓሚቝ ርድኢት ዝገልጽን ኣዝዩ ውጽኢታዊ፡ ተንቀሳቓሲ ስርዓታት ፕሮግራሚንግ ሎጂክ ንምፍጣር ዘገድድ መንገዲ ዝህብን መሳጢ ቴክኒካዊ ቅያ እዩ። ከም መዋይዝ ዝኣመሰሉ ሞዱላር ስርዓተ ምምሕዳር ንዝጥቀሙ ትካላት ንግዲ፡ ከምዚ ዓይነት ዓሚቝ ደረጃ ምምሕያሽ፡ ፍሉያት፡ ልዑል ብቕዓት ዘለዎም መሳርሒታት ናብ ሓደ ውሁድ ዋሕዚ ስራሕ ናይ ምውህሃድ ሓይሊ የጉልሕ።

ምፍራስ ፕሮሎግ፡ ካብ ውህደት ናብ ስርሒታት ምድማር

እቲ ቀንዲ ብድሆ ናይዚ መስርሕ ምጥርናፍ፡ ነቲ ናይ ፕሮሎግ ኣብስትራክት ኮምፑተሽናል ሞዴል ናብቲ ናይ ፎርት ጭቡጥ፡ ደረጃ ብደረጃ መምርሒታት ኣብ ምትርጓም እዩ። ኣፈጻጽማ ፕሮሎግ ብኽልተ ቁልፊ ኣገባባት ዝድረኽ ኮይኑ፡ ውህደት (መስርሕ ምትእስሳር ስነ-መጐታዊ ቃላት)ን ንድሕሪት ምምላስን (ኣማራጺ ፍታሕ ምድላይ)። ሓደ ፕሮሎግ-ቱ-ፎርት ኣከባቢርካ ነዞም ላዕለዎት ደረጃታት ኣምር ናብ ተኸታታሊ ትሑት ደረጃ ስርሓት ክፈርሶም ኣለዎ። ንኣብነት ውህደት፡ ቅደም ተኸተል ናይ ስታክ ምትላል ይኸውን- ቃላት ምድፋእ፡ ምውድዳርን ተለዋዋጢ ምትእስሳር ምምሕዳርን። እቲ ኣከባቢርካ ዝሰርሕ ንዝተሓላለኹ ቅርጽታት ዳታ (ከም ሎጂካዊ ቃላት ዝውክሉ ኣግራብ) ክሓልፍ ዝኽእልን ኣብ እዋን ምምላስ ተለዋዋጢ ረቛሒታት ምሳሌ ክግበረሎምን ድሒሩ ድማ "ዘይተሳተፉሉ" ሃዋህው ክሕሉን ኣለዎ። እዚ ድማ ኣብ ልዕሊ መሰረታዊ ቃላት ፎርት ዝተሃንጸ ዝተራቐቐ ናይ ምዝዋር ግዜ ሞዴል ይሓትት።

ምትግባር ንድሕሪት ምምላስ፡ ልቢ ምድላይ

ምናልባት እቲ ኣዝዩ ዝተሓላለኸ ክፋል ናይቲ ምትእኽኻብ፡ ናይ ፕሮሎግ ንድሕሪት ዝምለስ ናይ ምድላይ ኣልጎሪዝም ምትግባር ክኸውን ይኽእል። ኣብ ፕሮሎግ ሓደ ሸቶ ምስ ዝፈሽል ሞተር ናብቲ ናይ መወዳእታ ምርጫ ነጥቢ ንድሕሪት ተመሊሱ ካልእ መንገዲ ይፍትን። ነዚ ኣብ ፎርት ንምድጋም፡ እቲ ኣከባቢሩ፡ ንኹነታት ናይቲ ስሌት ዝዕቅብን ንምምላስን ዝሕግዝ መካኒዝም ክፈጥር ኣለዎ። እዚ ብተለምዶ ናይ ፎርዝ ዳታ ስታክን ወሳኒ ድማ ንበይኑ ሪተርን ስታክ ወይ ውፉይ መዘክር ዞባ ተጠቒምካ ምርጫ ነጥብታት ንምኽዛን ዝረጋገጽ እዩ። ምርጫ ነጥቢ ቅጽበታዊ ስእሊ ናይቲ ማሽን ኩነታት እዩ-ተለዋዋጢ መእሰሪታት፣ ናይ ሕጂ ኮድ ጠቋሚን ገና ዘይተፈተኑ ኣማራጺ ሓረጋትን ሓዊሱ። እቲ ዝተጠርነፈ ኮድ፡ ሓደ ቅድመ-ጥብቆ ብዙሓት ዝሰማምዑ ሓረጋት ኣብ ዘለዎ እዋን፡ ንሓደ ናይ ምርጫ ነጥቢ ናብ ስታክ ንምድፋእ ዝሕግዝ መምርሒታት የጠቓልል። ምስ ዝፈሽል፡ እቲ ናይ ምዝዋር ግዜ ስርዓት ነቲ ናይ ቀረባ እዋን ምርጫ ነጥቢ ይወስዶ፡ ነቲ ኩነታት ይመልሶ፡ ናብቲ ዝቕጽል ዘይተፈተነ ዓንቀጽ ድማ ይዘልል። እዚ ውቁብ እንተኾይኑ ዝተሓላለኸ ሳዕስዒት ንውሳኒ ዋሕዚ ፎርት ናብ ዘይውሳኒ ምድላይ ፕሮሎግ ይቕይሮ።

ግብራዊ ትርጉሙን ምትእስሳር መዋይዝን

ንምንታይ ከምዚ ዝበለ ዝተሓላለኸ ዕማም ትወስድ? እቲ ረብሓ ልዑል እዩ። ፎርት ብተንቀሳቓሲነታን ንእሽቶ ኣሰር መዘክርን ፍልጥቲ እያ። ናብ ፎርት ዝተጠርነፈ ፕሮሎግ ስርዓት ኣብ ዝተሰረተ ስርዓታት፣ ማይክሮኮንትሮለራት ወይ ዝኾነ መድረኽ ምስ ፎርት ተርጓሚ ክሰርሕ ይኽእል እዩ፣ እዚ ድማ ሓያል ናይ ሎጂክ ፕሮግራሚንግ ዓቕሚ ናብ ጸጋታት ዝተሓጽረ ከባቢታት የምጽእ እዩ። ካብዚ ሓሊፉ እቲ ዝፍጠር ስርዓት ኣዝዩ ቅልጡፍ ክኸውን ይኽእል እዩ፣ ምኽንያቱ እቲ ዝፍጠር ኮድ ጽጉብ ስለዝኾነን ብውሑድ ልዕሊ ዋጋ ስለዝፍጸምን እዩ። እዚ ፍልስፍና ምፍጣር ስሉጥ፣ ንዕላማ ዝተሃንጹ ሞዱላት ምስ መዋይዝ ሞዱላር ቢዝነስ ኦኤስ ፍጹም ይሰማማዕ። መዋይዝ ዕማማቶም ብዝለዓለ ብቕዓት ዝፍጽሙ ፍሉያት ኣካላት ኣብ ምውህሃድ ይስስን።

መደምደምታ፡ ድልድል ኣብ መንጎ ፓራዳይማት

Prolog to Forth ምጥርናፍ ተዓጻጻፍነት ክልቲኡ ቋንቋታት ምስክር እዩ። ዋላ እቶም ኣዝዮም ኣብስትራክት ዝኾኑ ናይ ፕሮግራሚንግ ፓራዳይማት ኣብ ስሉጥን ትሑት ደረጃ ዘለዎምን ሞዴላት ምፍጻም ክምስረት ከም ዝኽእሉ ዘርኢ እዩ። ንሱ ግን ናይ ኣከባቢ ዲዛይን ፍሉይ ዓውዲ ኮይኑ ክቕጽል እንከሎ፡ እቶም ኣብኡ ዝሳተፉ መትከላት-ብቑዕ ምሕደራ ዝኽሪ፡ ምክትታል ኩነታት ምዝዋርን ስግረ-ፓራዳይም ትርጉምን-ብኣድማሳዊ ኣገደስቲ እዮም። ከም በዓል መዋይዝ ዝኣመሰሉ ንሞዱላሪቲን ኣፈጻጽማን ዋጋ ዝህቡ መድረኻት፡ እዚ ዓይነት ዓሚቕ ቴክኒካዊ ውህደት፡ ድልዱልን ተዓጻጻፍን ንግዳዊ ስርዓታት ንምህናጽ ቁልፊ እዩ። ከምዚኦም ዝኣመሰሉ ዝተፈላለዩ ናይ ስሌታዊ ዓለማት ከመይ ጌርካ ከም እትድልድሎም ብምርዳእ፡ ብልክዕ ኣብቲ ዘድልየሉ ቦታ ንብልሒ ዘለዎ ስነ-መጐት ንምውፋር ሓድሽ ተኽእሎታት ንኸፍት።

ዝብል ጽሑፍ ኣሎ።