Visual Prolog Version 5.x
ترجمه کتاب
Visual Prolog Version 5.x
فصل 1 آشنایی با قواعد پرولوگ
فصل 2 برنامه نویسی در پرولوگ
فصل 3 یکتایی و برگشت به عقب(backtacking)
فصل 4 آبجکتهای ساده و مرکب
فصل 5 پردازشهای تکراری و بهینه سازی
فصل 6 لیست ها
فصل 7 بانکهای درونی
فصل 8 عملیات محاسباتی و مقایسه ای
فصل 9 موضوعات پیشرفته
فصل 10 کلاسها و اشیا
فصل 11 خواندن و نوشتن فایلها
فصل 12 هندلینگ رشته
فصل 13 بانکهای اطلاعاتی خارجی
برای نمونه قسمتی از کتاب را در زیر می آورم:
-------------------------------------------------------------------------------------------------------------------------------
برنامه نویسی پرولوگ یک رشته از فعالیت ها نیست بلکه مجموعه ای از واقعیات بنام فاکت با قوانینی برای ترسیم استنتاج از همان فاکت ها،که به آن رول می گویند.
قوانین منطقی،راه ساده ای است برای فهمیدن اینکه،یک دلیل چگونه به وقوع می پیوندد.
پرولوگ برای آسان فهمیدن منطقی ، از یکسری قوانین ساده استفاده می کند ، مشابه زبانهای طبیعی.اگر زبان پرولوگ بتواند زبان انگلیسی را بپذیرد، کامپایلرش نیاز به بررسی بسیاری از حالت ها را خواهد داشت.
پرولوگ از یکسری استنباطهای مهندسی تشکیل شده است که برای پردازش های منطقی،از اطلاعات بهره می برد.
برنامه نویسان پرولوگ ، آبجکت ها و رابطه ها را تعریف می کنند و وقتی رابطه ها صحیح باشند رولها را تعریف می کنند.
در پرولوگ رابطه ما بین آبجکت ها را پریدیکیت می گویند.
کد:
Bill likes Dog
فاکت:
در پرولوگ رابط بین آبجکت ها را پریدیکیت می گویند.در زبان طبیعی اجزاء یک جمله با یکدیگر در ارتباط اند.در زبان ویژوال پرولوگ نیز این ارتباطها بصورت اصول ساده نویسی خاصی وجود دارد.در واقع دانسته های ما در مورد یک چیز را می توانیم فاکت بنامیم.برای مثال bill ،Cindy را دوست دارد.bill وCindy آبجکتها ی ما در زبان پرولوگ هستند.در واقع جمله bill ،Cindy را دوست دارد یک فاکت است.یک فاکت در انتها با یک (.) تمام می شود.
در زبان طبیعی
کد:
Bill likes Cindy
Cindy likes Bill
Bill Likes Dogs
اگر بخواهیم جملات زبان طبیعی بالا را به زبان فابل فهم برای پرولوگ تبدیل کنیم بصورت زیر باید بنویسیم:
کد:
likes(bill,cindy).
likes(cindy,bill).
likes(bill,dogs).
در زبان ویژوال پرولوگ می توان تا حد امکان مشخصه ها را کوتاه نویسی کرد.برای مثال Caitlin یک دختر است.
کد:
Girl(caitlin).
|