GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-bit) သည် အကန့်အသတ်ရှိသော ဒိုမိန်းများကို ဖြေရှင်းပေးသည့် အစွမ်းထက်ပြီး အခမဲ့ Prolog compiler တစ်ခုဖြစ်သည်။ ဤဆော့ဖ်ဝဲလ်သည် ရှုပ်ထွေးသောပရိုဂရမ်များကို လွယ်ကူစွာဖန်တီးလိုသော developer များအတွက် ဒီဇိုင်းထုတ်ထားသည်။ GNU Prolog သည် ကန့်သတ်ပရိုဂရမ်များနှင့်အတူ Prolog ကို လက်ခံပြီး သီးသန့် binaries များကို ထုတ်လုပ်ပေးကာ ၎င်းသည် သီးသန့်ဖြစ်ပြီး ထိရောက်မှုရှိသည်။

GNU Prolog ၏ အထင်ရှားဆုံး အားသာချက်များထဲမှတစ်ခုမှာ အသုံးမပြုသော built-in predicates များ၏ ကုဒ်များကို ချိတ်ဆက်ခြင်းမှ ရှောင်ရှားနိုင်သောကြောင့် သေးငယ်သော executable အရွယ်အစားများကို ဖြစ်ပေါ်စေပါသည်။ GNU Prolog ၏ စွမ်းဆောင်ရည်များသည် စီးပွားရေးစနစ်များနှင့် နှိုင်းယှဉ်ပါက အလွန်အားရစရာကောင်းပါသည်။

ဇာတိကုဒ်စုစည်းမှုအပြင်၊ GNU Prolog သည် အမှားရှာပြင်ကိရိယာဖြင့် ရှေးရိုးစကားပြန် (ထိပ်တန်းအဆင့်) ကို ပေးသည်။ စကားပြန်သည် အက်တမ်များပေါ်တွင် ပြီးစီးမှုနှင့်အတူ အပြန်အလှန်အကျိုးသက်ရောက်မှုမုဒ်အောက်တွင် လိုင်းတည်းဖြတ်သည့် အထောက်အကူကို ပံ့ပိုးပေးသောကြောင့် developer များအတွက် ၎င်းတို့၏ကုဒ်ကို အမှားရှာရန် လွယ်ကူစေသည်။

ဆော့ဖ်ဝဲသည် Global variables၊ OS interface နှင့် sockets များကဲ့သို့သော လက်တွေ့တွင် အလွန်အသုံးဝင်သော extension အများအပြားဖြင့် Prolog အတွက် ISO စံနှုန်းနှင့် ကိုက်ညီပါသည်။ ၎င်းသည် အခြားစနစ်များနှင့် ချောမွေ့စွာ အပြန်အလှန် ဆက်သွယ်နိုင်သည့် ရှုပ်ထွေးသော ပရိုဂရမ်များကို ဖန်တီးရန် developer များအတွက် ပိုမိုလွယ်ကူစေသည်။

GNU Prolog တွင် Finite Domains (FD) အတွက် ထိရောက်သော ကန့်သတ်ချက်ဖြေရှင်းသူလည်း ပါဝင်သည်။ ၎င်းသည် လော့ဂျစ်ပရိုဂရမ်းမင်း၏ ကြေငြာစွမ်းရည်နှင့် ကန့်သတ်ပရိုဂရမ်ရေးသားခြင်း၏ ပါဝါကို ပေါင်းစပ်ခြင်းဖြင့် အသုံးပြုသူများအတွက် ကန့်သတ်ယုတ္တိဗေဒပရိုဂရမ်ကို ဖွင့်ပေးသည်။ ဤအင်္ဂါရပ်ဖြင့်၊ အသုံးပြုသူများသည် syntax အမှားများ သို့မဟုတ် အခြားပြဿနာများကို စိုးရိမ်စရာမလိုဘဲ ၎င်းတို့၏ ကန့်သတ်ချက်များကို အလွယ်တကူ သတ်မှတ်နိုင်မည်ဖြစ်သည်။

ကြိုတင်သတ်မှတ်ကန့်သတ်ချက်များတွင် ပေါင်းထည့်ခြင်းနှင့် နုတ်ခြင်းကဲ့သို့သော ဂဏန်းသင်္ချာအကန့်အသတ်များ ပါဝင်သည်။ AND/OR ကဲ့သို့သော Boolean ကန့်သတ်ချက်များ၊ string matching ကဲ့သို့ သင်္ကေတ ကန့်သတ်ချက်များ၊ Boolean အော်ပရေတာများကို အသုံးပြု၍ ယုတ္တိအခြေအနေများကို ဖော်ပြခွင့်ပြုသည့် ပြန်လည်ပြင်ဆင်ထားသော ကန့်သတ်ချက်များ၊ မတူညီသောဖြစ်နိုင်ခြေများကို စနစ်တကျရှာဖွေခြင်းဖြင့် သင့်အား အဖြေများကို လျင်မြန်စွာရှာဖွေနိုင်ရန် ကူညီပေးသည့် ကြိုတင်သတ်မှတ်ထားသော စာရင်းကောက်ခြင်းဆိုင်ရာ ဟေရီရစ်ခ်ျများ။

အသုံးပြုသူများသည် ဖိုင်အမျိုးမျိုးကို လက်ခံသည့် GNU prologue ၏ command-line compiler မှပေးသော ရိုးရှင်းသောအမိန့်များကို အသုံးပြု၍ ၎င်းတို့၏ကိုယ်ပိုင်ကန့်သတ်ချက်အသစ်များကို သတ်မှတ်နိုင်သည်။ ၎င်းသည် ၎င်းတို့၏ပရိုဂရမ်၏အပြုအမူအပေါ် ပိုမိုထိန်းချုပ်လိုသော သို့မဟုတ် ကြိုတင်သတ်မှတ်ထားသောစာကြည့်တိုက်များတွင် မရရှိနိုင်သော သီးခြားလုပ်ဆောင်နိုင်စွမ်းကို လိုအပ်သော developer များအတွက် လွယ်ကူစေသည်။

အချုပ်အားဖြင့်၊ သင်သည် စက်မှုလုပ်ငန်းစံနှုန်းများနှင့် တင်းကြပ်စွာလိုက်လျောညီထွေရှိစဉ် ရှုပ်ထွေးသောပရိုဂရမ်များကို အလွယ်တကူဖန်တီးနိုင်စေမည့် အစွမ်းထက်သည့်အခမဲ့ကိရိယာတစ်ခုကို ရှာဖွေနေပါက၊ GNU စကားဝိုင်းထက် မပိုပါနှင့်။