سلام.
دوستان یه نفر لطفا ! رو توی پرولوگ توضیح بده.
ممنون.
Sent from my Google Galaxy Nexus using Tapatalk 2.4
عملگر cut(!) جلوی عقب گرد روی یه مسند به خصوص رو میگیره،به پرولوگ اعلان میکند که اگر در قاعده جلو برود دیگر امکان بازگشت به عقب وجود ندارد،
مثلا: . p:-q,! r
p:-s
اگه qدرست باشه فقط از قاعده اول می توان به جواب رسید،و ! اجازه استفاده از قاعده دوم رو نمیده
اما اگه q غلط باشه میرم سراغ قاعده دوم
[tex](q,r)or(\sim ~q,s)[/tex]
امیدوارم متوجه شده باشید از توضیحاتم
یه چی دیگه، اگه آخرش fail, ! بیاد چی؟
Sent from my Google Galaxy Nexus using Tapatalk 2.4
(۱۲ دى ۱۳۹۱ ۰۳:۰۳ ب.ظ)Amir V نوشته شده توسط: دوستان کسی نیس؟امیر اگه می خوای این مبحثو یاد بگیری حتما برو سراغ راهیان!نسبتا خوب توضیح داده!راهیانو نداری؟!
Sent from my Google Galaxy Nexus using Tapatalk 2.4
آخه خیلی مفصله ها!
fail اگه عمل Cut صورت بگیره No برمی گردونه و در غیر اینصورت Yes
fail برعکس ! پرولوگ رو وادار به عقب گرد میکنه،
not(p):-p,!,fail.
not(-)l
cut , fail وقتی با هم استفاده میشه که بخواییم روند اثبات با شکست مواجه بشه،cut جلوشو میگیره fail میخواد عقب گرد کنه
اگه p درست باشه تا به cut , fail برسه روند اثبات با شکست مواجه میشه در نتیجه not(p ) شکست میخوره
اما اگه p غلط باشه میره قاعده ۲ که چون شرطی نداره موفق میشه