GNU Prolog (32-bit)

ဖော်ပြချက်

GNU Prolog သည် အကန့်အသတ်ရှိသော ဒိုမိန်းများကို ဖြေရှင်းပေးသည့် အခမဲ့ Prolog compiler တစ်ခုဖြစ်သည်။ GNU Prolog သည် ကန့်သတ်ပရိုဂရမ်များဖြင့် Prolog ကို လက်ခံပြီး မူရင်း binaries (gcc ကဲ့သို့ C အရင်းအမြစ်မှ လုပ်ဆောင်သည်)။ ရရှိလာသော စီမံဆောင်ရွက်မှုသည် သီးသန့်ဖြစ်သည်။ GNU Prolog သည် အသုံးမပြုသော built-in predicates အများစု၏ ကုဒ်ကို ချိတ်ဆက်ခြင်းမှ ရှောင်ရှားနိုင်သောကြောင့် ဤ executable အရွယ်အစားသည် သေးငယ်နိုင်သည်။ GNU Prolog ၏ စွမ်းဆောင်ရည်များသည် အလွန်အားရစရာကောင်းသည် (စီးပွားရေးစနစ်များနှင့် နှိုင်းယှဉ်နိုင်သည်)။ မူရင်း-ကုဒ်စုစည်းမှုအပြင်၊ GNU Prolog သည် အမှားရှာပြင်သူနှင့်အတူ ဂန္တဝင်စကားပြန် (ထိပ်တန်းအဆင့်) ကို ပေးပါသည်။

Prolog အပိုင်းသည် လက်တွေ့တွင် အလွန်အသုံးဝင်သော နောက်ဆက်တွဲများစွာပါရှိသော Prolog အတွက် ISO စံနှုန်းနှင့် ကိုက်ညီသည် (global variables၊ OS interface နှင့် sockets)။ GNU Prolog တွင် Finite Domains (FD) အတွက် ထိရောက်သော ကန့်သတ်ချက်ဖြေရှင်းသူလည်း ပါဝင်သည်။ ၎င်းသည် လော့ဂျစ်ပရိုဂရမ်းမင်း၏ ကြေငြာချက်သို့ ကန့်သတ်ပရိုဂရမ်းမင်း၏ ပါဝါကို ပေါင်းစပ်ထားသည့် သုံးစွဲသူအား ကန့်သတ်ယုတ္တိဗေဒပရိုဂရမ်ကို ဖွင့်ပေးသည်။ အင်္ဂါရပ်များတွင် Prolog အတွက် ISO စံနှုန်းများနှင့် ကိုက်ညီမှု ရှိ၊ အက်တမ်များပေါ်တွင် ပြီးစီးသည့် အပြန်အလှန် အပြန်အလှန် စကားပြန်အောက်တွင် လိုင်းတည်းဖြတ်သည့် အဆောက်အအုံ၊ Prolog နှင့် C အကြား နှစ်လမ်းညွန်ကြားခံ မျက်နှာပြင်၊ တဦးတည်း သီးသန့်လုပ်ဆောင်နိုင်သော ဖိုင်များကို ထုတ်လုပ်သည့် ရိုးရှင်းသော command-line compiler၊ ကြိုတင်သတ်မှတ်ထားသော၊ ကန့်သတ်ချက်များ- ဂဏန်းသင်္ချာဆိုင်ရာ ကန့်သတ်ချက်များ၊ Boolean ကန့်သတ်ချက်များ၊ သင်္ကေတဆိုင်ရာ ကန့်သတ်ချက်များ၊ နှင့် ပြန်လည်ပြင်ဆင်ထားသော ကန့်သတ်ချက်များ၊ ကြိုတင်သတ်မှတ်ထားသော စာရင်းကောက်ယူမှုဆိုင်ရာ အချက်အလက်များနှင့် အသုံးပြုသူသည် ၎င်း၏ ကိုယ်ပိုင်ကန့်သတ်ချက်အသစ်များကို သတ်မှတ်နိုင်သည်။