- Prolog एक सरल और declarative logic programming language है, जो homoiconic है और बेहद dynamic है.
- Prolog का syntax समझना और इस्तेमाल करना आसान है, और सभी data को Prolog terms और
clause नामक एकल language element के रूप में व्यक्त किया जाता है.
- Prolog में clause का रूप
Head :- Body होता है, जिसका अर्थ है कि यदि Body वैध है, तो Head भी वैध है.
- Prolog एक Turing-complete programming language है, और सभी ज्ञात computation को उसके clauses से वर्णित किया जा सकता है.
- एक declarative language के रूप में, Prolog का फोकस उन चीज़ों को निर्दिष्ट करने पर है जिनमें हमारी रुचि है, और उस solution के लिए क्या वैध है जिसे हम खोजना चाहते हैं.
- Prolog की declarative प्रकृति बहुत संक्षिप्त, स्पष्ट और सामान्य specifications को संभव बनाती है.
- Prolog एक logic programming language है, और एक शुद्ध Prolog program Horn clauses के एक set से बना होता है, जिसकी execution को resolution के एक विशेष case के रूप में देखा जा सकता है.
- Prolog एक homoiconic language है, इसलिए Prolog program स्वयं भी वैध Prolog terms होते हैं. इससे ऐसे Prolog programs लिखना आसान हो जाता है जो अन्य Prolog programs का analysis, transformation और interpretation कर सकें.
- Prolog एक बेहद dynamic language है, जिसमें programs को आसानी से generate, call और modify किया जा सकता है.
- Prolog की dynamic प्रकृति ऐसे programs लिखने के लिए आदर्श है जिन्हें अन्य programmers और सामान्य users द्वारा दिए गए user-defined rules के साथ विस्तारित किया जा सके.
- Prolog एक अत्यंत versatile language है, और इसकी relational प्रकृति के कारण Prolog programs बहुत flexible और general होते हैं.
- Prolog की versatility और शक्ति search, unification, argument indexing और constraint propagation सहित implicit mechanisms पर आधारित है.
1 टिप्पणियां
Hacker News राय