GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-bit) គឺជាកម្មវិធីចងក្រង Prolog ដ៏មានអានុភាព និងឥតគិតថ្លៃ ដែលផ្តល់នូវការដោះស្រាយឧបសគ្គលើដែនកំណត់។ កម្មវិធីនេះត្រូវបានរចនាឡើងសម្រាប់អ្នកអភិវឌ្ឍន៍ដែលត្រូវការបង្កើតកម្មវិធីស្មុគស្មាញដោយភាពងាយស្រួល។ GNU Prolog ទទួលយក Prolog ជាមួយនឹងកម្មវិធីកំហិត និងផលិតប្រព័ន្ធគោលពីរដើម ដែលធ្វើឱ្យវាឈរតែឯង និងមានប្រសិទ្ធភាព។

អត្ថប្រយោជន៍ដ៏សំខាន់បំផុតមួយរបស់ GNU Prolog គឺសមត្ថភាពរបស់វាក្នុងការជៀសវាងការភ្ជាប់កូដនៃ predicates ដែលមិនបានប្រើច្រើនបំផុត ដែលបណ្តាលឱ្យមានទំហំតូចជាង។ ការសម្តែងរបស់ GNU Prolog គឺមានការលើកទឹកចិត្តខ្លាំង ប្រៀបធៀបទៅនឹងប្រព័ន្ធពាណិជ្ជកម្ម។

ក្រៅពីការចងក្រងកូដដើម GNU Prolog ផ្តល់នូវអ្នកបកប្រែបុរាណ (កម្រិតកំពូល) ជាមួយនឹងឧបករណ៍បំបាត់កំហុស។ អ្នកបកប្រែផ្តល់កន្លែងកែសម្រួលបន្ទាត់ក្រោមទម្រង់អន្តរកម្មជាមួយនឹងការបញ្ចប់នៅលើអាតូម ដែលធ្វើឱ្យវាងាយស្រួលសម្រាប់អ្នកអភិវឌ្ឍន៍ក្នុងការបំបាត់កំហុសកូដរបស់ពួកគេ។

កម្មវិធីអនុលោមតាមស្តង់ដារ ISO សម្រាប់ Prolog ជាមួយនឹងផ្នែកបន្ថែមជាច្រើនដែលមានប្រយោជន៍ក្នុងការអនុវត្តដូចជាអថេរសកល ចំណុចប្រទាក់ OS និងរន្ធ។ នេះធ្វើឱ្យវាកាន់តែងាយស្រួលសម្រាប់អ្នកអភិវឌ្ឍន៍ដើម្បីបង្កើតកម្មវិធីស្មុគ្រស្មាញដែលអាចធ្វើអន្តរកម្មយ៉ាងរលូនជាមួយប្រព័ន្ធផ្សេងទៀត។

GNU Prolog ក៏រួមបញ្ចូលផងដែរនូវកម្មវិធីដោះស្រាយឧបសគ្គដ៏មានប្រសិទ្ធភាពលើ Finite Domains (FD) ។ វាបើកការសរសេរកម្មវិធីតក្កវិជ្ជាកម្រិតដល់អ្នកប្រើប្រាស់ដោយរួមបញ្ចូលគ្នានូវអំណាចនៃការសរសេរកម្មវិធីកម្រិតជាមួយនឹងការប្រកាសនៃការសរសេរកម្មវិធីតក្កវិជ្ជា។ ជាមួយនឹងមុខងារនេះ អ្នកប្រើប្រាស់អាចកំណត់ឧបសគ្គរបស់ពួកគេបានយ៉ាងងាយស្រួលដោយមិនបារម្ភអំពីកំហុសវាក្យសម្ព័ន្ធ ឬបញ្ហាផ្សេងទៀត។

ឧបសគ្គដែលបានកំណត់ជាមុនរួមមាន ឧបសគ្គនព្វន្ធ ដូចជាការបូក និងដក។ ឧបសគ្គប៊ូលីនដូចជា AND/OR; ឧបសគ្គនិមិត្តសញ្ញាដូចជាការផ្គូផ្គងខ្សែអក្សរ; ឧបសគ្គដែលបានពង្រឹងឡើងវិញដែលអនុញ្ញាតឱ្យអ្នកបង្ហាញលក្ខខណ្ឌឡូជីខលដោយប្រើសញ្ញាប្រមាណវិធីប៊ូលីន។ heuristics enumeration ដែលបានកំណត់ទុកជាមុន ដែលជួយអ្នកស្វែងរកដំណោះស្រាយបានយ៉ាងឆាប់រហ័ស ដោយស្វែងរកលទ្ធភាពផ្សេងៗជាប្រព័ន្ធ។

អ្នកប្រើប្រាស់ក៏អាចកំណត់ឧបសគ្គថ្មីរបស់ពួកគេផ្ទាល់ដោយប្រើពាក្យបញ្ជាសាមញ្ញដែលផ្តល់ដោយកម្មវិធីចងក្រងបន្ទាត់ពាក្យបញ្ជារបស់ GNU prologue ដែលទទួលយកឯកសារផ្សេងៗគ្នា។ វាធ្វើឱ្យមានភាពងាយស្រួលសម្រាប់អ្នកអភិវឌ្ឍន៍ដែលចង់បានការគ្រប់គ្រងបន្ថែមទៀតលើឥរិយាបថកម្មវិធីរបស់ពួកគេ ឬត្រូវការមុខងារជាក់លាក់ដែលមិនមាននៅក្នុងបណ្ណាល័យដែលបានកំណត់ជាមុន។

សរុបមក ប្រសិនបើអ្នកកំពុងស្វែងរកឧបករណ៍ដ៏មានអានុភាព ប៉ុន្តែឥតគិតថ្លៃដែលអនុញ្ញាតឱ្យអ្នកបង្កើតកម្មវិធីស្មុគ្រស្មាញបានយ៉ាងងាយស្រួល ខណៈពេលដែលការអនុលោមតាមស្តង់ដារឧស្សាហកម្មយ៉ាងតឹងរ៉ឹងនោះ សូមកុំមើលទៅលើសពីការផ្សព្វផ្សាយរបស់ GNU!