زمان کنونی: ۱۰ فروردین ۱۴۰۳, ۰۷:۳۱ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

عملگر ! در پرولوگ

ارسال:
  

Amir V پرسیده:

عملگر ! در پرولوگ

سلام.

دوستان یه نفر لطفا ! رو توی پرولوگ توضیح بده.

ممنون.

Sent from my Google Galaxy Nexus using Tapatalk 2.4

۴
ارسال:
  

Mänu پاسخ داده:

عملگر ! در پرولوگ

عملگر cut(!) جلوی عقب گرد روی یه مسند به خصوص رو میگیره،به پرولوگ اعلان میکند که اگر در قاعده جلو برود دیگر امکان بازگشت به عقب وجود ندارد،

مثلا: . p:-q,! r
p:-s
اگه qدرست باشه فقط از قاعده اول می توان به جواب رسید،و ! اجازه استفاده از قاعده دوم رو نمیده
اما اگه q غلط باشه میرم سراغ قاعده دوم


[tex](q,r)or(\sim ~q,s)[/tex]

امیدوارم متوجه شده باشید از توضیحاتم

۲
ارسال:
  

Mänu پاسخ داده:

عملگر ! در پرولوگ

fail برعکس ! پرولوگ رو وادار به عقب گرد میکنه،
not(p):-p,!,fail.
not(-)l

cut , fail وقتی با هم استفاده میشه که بخواییم روند اثبات با شکست مواجه بشه،cut جلوشو میگیره fail میخواد عقب گرد کنه
اگه p درست باشه تا به cut , fail برسه روند اثبات با شکست مواجه میشه در نتیجه not(p ) شکست میخوره
اما اگه p غلط باشه میره قاعده ۲ که چون شرطی نداره موفق میشه

۰
ارسال:
  

Amir V پاسخ داده:

Re: عملگر ! در پرولوگ

یه چی دیگه، اگه آخرش fail, ! بیاد چی؟

Sent from my Google Galaxy Nexus using Tapatalk 2.4

۰
ارسال:
  

۸Operation پاسخ داده:

عملگر ! در پرولوگ

(۱۲ دى ۱۳۹۱ ۰۳:۰۳ ب.ظ)Amir V نوشته شده توسط:  دوستان کسی نیس؟

Sent from my Google Galaxy Nexus using Tapatalk 2.4
امیر اگه می خوای این مبحثو یاد بگیری حتما برو سراغ راهیان!نسبتا خوب توضیح داده!راهیانو نداری؟!
آخه خیلی مفصله ها!
fail اگه عمل Cut صورت بگیره No برمی گردونه و در غیر اینصورت Yes
مشاهده‌ی وب‌سایت کاربر



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  عملگر semigroup چیست؟ H-Arshad ۰ ۱,۱۶۹ ۱۵ دى ۱۳۹۵ ۰۶:۰۷ ب.ظ
آخرین ارسال: H-Arshad
  زبان پرولوگ oatashgah69 ۲ ۱,۳۸۰ ۱۱ مهر ۱۳۹۵ ۰۶:۰۶ ب.ظ
آخرین ارسال: Saman
  تست هوش پارسه بیزین+پرولوگ shirin0101 ۳ ۲,۲۱۴ ۲۹ فروردین ۱۳۹۵ ۱۱:۴۸ ق.ظ
آخرین ارسال: Jooybari
  جدول تقدم عملگر ها hadi72345 ۲ ۳,۳۷۶ ۲۵ فروردین ۱۳۹۵ ۱۰:۳۳ ب.ظ
آخرین ارسال: dariush.fathi
  زبان های منظم تحت عملگر minus5 منظم است؟ Pure Liveliness ۲ ۱,۶۵۵ ۱۴ فروردین ۱۳۹۵ ۰۱:۲۷ ب.ظ
آخرین ارسال: Pure Liveliness
  عملگر نامگذاری مجدد shirin0101 ۲ ۱,۲۲۱ ۲۶ دى ۱۳۹۴ ۱۲:۰۰ ق.ظ
آخرین ارسال: good arman
  بررسی بسته بودن خانواده ی زبان ها بر روی عملگر * m-kafiyan ۱ ۱,۶۳۶ ۰۸ دى ۱۳۹۳ ۰۱:۰۰ ق.ظ
آخرین ارسال: fatemeh69
  حل تمرین جدول تجزیه تقدم عملگر html ۰ ۲,۱۷۰ ۳۰ آذر ۱۳۹۳ ۰۷:۳۰ ب.ظ
آخرین ارسال: html
  عملگر پیوند شرطی so@ ۴ ۵,۲۸۹ ۱۴ آبان ۱۳۹۳ ۱۰:۴۷ ق.ظ
آخرین ارسال: so@
  سوال از زبان پرولوگ Ametrine ۰ ۱,۰۳۹ ۱۰ مهر ۱۳۹۳ ۱۱:۴۹ ق.ظ
آخرین ارسال: Ametrine

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close