برنامه سازی منطق programming in logic

برنامه سازی منطق programming in logic

اسلاید 1: بسم الله الرحمن الرحیمprogramming in logicنام استاد:دکتر کشاورزیبهار97

اسلاید 2: فهرستمقدمهمکانیزم های پایه ای در برنامه نویسی پرولوگمکانیزم عقبگرد در پرولوگBacktracking))تفاوت معنای توصیفی و رویه ای یک برنامهاشیای داده ای ساده در برنامه نویسی پرولوگمعنای توصیفی و رویه ای یک برنامهنمایش لیست هاعملیات روی لیست هااستفاده از cut یا(!) 2

اسلاید 3: مقدمهProlog (programming in logic)یک زبان برنامه نویسی که در سال 1970م در فرانسه توسط AlianColmerauer ابداع شد.پرولوگ یک زبان برنامه نویسی سمبولیک(نشانه)است ،نه محاسباتی پرولوگ زبانی است برای حل مسایل در روابط بین argumentها(اشیا)ازprolog در برنامه های محاسباتی ریاضی استفاده نمی شود3

اسلاید 4: مکانیزم های پایه ای در برنامه نویسی پرولوگ :clausesفراکرد های پرولوگیک سری واقعیت ها(حقایق) :Facts (ها به صورت کلی تر fact)یک سری قوانین :Rules:رویه هاprocedures4

اسلاید 5: تعریف روابط به وسیله حقایقپرولوگ یک زبان برنامه نویسی برای محاسبات نمادین وغیر عددی می باشد.پرولوگ برای حل مسایلی که شامل اشیا و روابط بین انها می باشد بسیار مناسب است.مثال :روابط خانوادگی این حقیقت که tom پدر bob است را در پرولوگ به این صورت می نویسیم:Parent(tom,bob)در اینجا parentنام رابطه وtomوbobارگومان های رابطه می باشند.5

اسلاید 6: تعریف روابط به وسیله حقایقاین برنامه از شش فراکرد تشکیل شدههر فراکرد یک نمونه از رابطه PARENTمی باشدParent(tom,bob).Parent(pam,bob).Parent(tom,liz).Parent(bob,ann).Parent(bob,pat).Parent(pat,jim).6lizpattombobpamannjim

اسلاید 7: 7