پیاده سازی چارچوب پایگاه داده های استنتاجی با استفاده از پرولوگ

پایگاه داده های استنتاجی یکی از قویترین پایگاه داده های دنیا به شمار می روند و زبان پایگاه دادههای استنتاجی زبان پرولوگ است یعنی الگوی نوشتاری این نوع پایگاه داده ها براساس زبانپرولوگ می باشد. پرولوگ یک زبان توصیفی است یعنی حقایق و قوانین مورد نیاز را می دهیم وآنگاه این پرولوگ است که با استنتاج قیاسی به حل مسئله می پردازد. البته در اکثر مواقع سوالکاربر که تحت عنوان پرس و جو یا هدف از آن یاد می شود شامل یک یا چند متغیر است این بدینمعنی است که از موتور استنتاج پرولوگ سوال می کنیم که این متغیرها چه مقادیری می توانند بهخود بگیرند تا با آنچه در قالب حقایق و قوانین داده شده اند از لحاظ منطقی درست و سازگار باشند.پایگاه داده های استنتاجی بر پایه ی اصول منطق ریاضی هستند و به عنوان بخشی از برنامه نویسیمنطق شمرده می شوند در مقابل پرولوگ یک زبان برنامه نویسی منطقی چند منظوره مبتنی بر مفاهیمهوش مصنوعی و زبان شناسی محاسباتی است. این زبان هم بر پایه منطق ریاضی بنا نهاده شده و آنرا به عنوان زبان کاملاً منطقی می شناسند. پس منطق گرا بودن این زبان آن را برای بکارگیری درپایگاه داده های استنتاجی فراهم ساخته است. همین طور از تعاریف مشخص است پیاده سازی پایگاهداده های استنتاجی در زبان پرولوگ یک امری ضروری است و ما در این مقاله قصد داریمچارچوب این پایگاه داده ها را براساس زبان پرولوگ پیاده سازی کنیم و مشخص کنیم به چهصورت جداول و پرس و جوی های پایگاه داده رابطه ای که اینها حقایق و قوانین پایگاه داده هایاستنتاجی می باشند در زبان پرولوگ پیاده سازی می شوند.

کلیدواژه ها:

پایگاه داده های استنتاجی ، پرولوگ ، حقایق ، قوانین