Payamvdn/NorthPersian_fa_wiki huggingface dataset:
بلوچستان افغانستان یا بلوچستان شمالی (بلوچی: )منطقه ای خشک و کوهستانی است که بخشی از جنوب و جنوب غربی افغانستان را در بر می گیرد. این منطقه تا جنوب شرقی ایران و غرب پاکستان امتداد دارد و به نام مردم بلوچ شناخته می شود. جغرافیا. بلوچستان افغانستان شامل کل ولایت نیمروز، جنوب ولایت هلمند و جنوب ولایت قندهار است. بلوچستان افغانستان به ناحیهٔ خشک و عمدتاً بیابانی جنوب غرب افغانستان گفته می شود که به صورت طبیعی با بلوچستان ایران و پاکستان پیوستگی دارد. این ناحیه شامل دشت ها و بیابان های گسترده، پست بلندهای شنی و رُسی، و بخش هایی از حوضهٔ بستهٔ سیستان است. دو بیابان اصلی در این ناحیه عبارت اند از دشتِ مَرگُو در نیمروز و جنوب هلمند، و بیابان رِگستان میان هلمند و قندهار. مَرجو حدود ۱۵۰ هزار کیلومتر مربع وسعت و میانگین ارتفاع ۵۰۰–۷۰۰ متر دارد؛ ریگستان نیز یک فلات بسیار خشکِ شنی با تپه ماهورهای قرمز کم ارتفاع است. هر دو بیابان، سکونت پراکندهٔ کوچ نشینان بلوچ و پشتون را در خود دارند و فرسایش بادی و پیشروی شنزارها تهدید جدی زمین های کشاورزی پیرامون است. شاه رگ آبی منطقه، رود هیرمند است که از ارتفاعات هندوکش سرچشمه می گیرد
و پس از حدود ۱۳۰۰ کیلومتر در حوضهٔ بستهٔ سیستان پخش می شود و هامون ها (هامون پوزک، صابری، هیرمند) را می سازد؛ این تالاب ها فصلی و به شدت وابسته به آوردِ آب افغانستان اند. خشک سالی ها یا برداشت های بالادست باعث پس روی و خشکیدگی بستر و ریزگردهای گسترده می شود. بخشی از هامون ها تا داخل ولایت فراه امتداد می یابند. ولایت نیمروز (مرکزش زرنج) کم تراکم ترین ولایت افغانستان است و بخش بزرگی از آن در دشتِ مَرگُو و حوضهٔ سیستان قرار دارد. بلوچ ها در نیمروز اکثریت اند و در جنوب هلمند و برش هایی از فراه نیز حضور دارند. اقلیم منطقه فراخشک و گرم است: بارش اندک، تبخیر بالا، بادهای فصلی و طوفان های شنی. کاربری غالب، کوچ روی، چرا، کشت های کم آب بر پراکنده در کنار کاریزها و کانال ها، و کانون های نخلستان و نیزار پیرامون هامون ها در سال های پُرآب است. طرح های توسعهٔ هیرمند و نوسان های آبیِ حوضه، الگوهای زیست و معیشت را دگرگون کرده اند. راه دلارام–زرنج (Route 606/NH49) به طول حدود ۲۱۸ کیلومتر، نیمروز را به بزرگراه حلقوی افغانستان وصل می کند و از طریق مرز میلَک/زابل به شبکهٔ ایران و در ادامه به بندر چابهار راه می دهد؛ این مسیر زمان
سفر را به طور چشمگیر کاهش داده و یک گذرگاه راهبردی برای افغانستان ایجاد کرده است. افزون بر این، اتصال های ریلی و جاده ای ایران–افغانستان وزن این محور تجاری را افزایش داده اند. خشک سالی های پی درپی دهه های اخیر و تغییرات کاربری و سدسازی های بالادست، دوره های خشکیدگی گستردهٔ هامون ها، توفان گردوغبار و جابه جایی جمعیت های کوچنده را تشدید کرده است. ریزگردهای بستر خشک هامون می تواند روستاها را مدفون کند و تنوع زیستی تالابی را نابود سازد. تاریخچه. میر نصیرخان بلوچ فرمانروای دولت خانات کلات یکی از برجسته ترین و تأثیرگذارترین فرمانروایان خانات کلات بود. او نقش مهمی در تحکیم قدرت بلوچ، متحد کردن قبایل بلوچ و شکل دادن به ساختار سیاسی و اداری خانات ایفا کرد. مرز های بلوچستان در زمان سلطنت نصیر خان بلوچ در کشورهای امروزی پاکستان، ایران و افغانستان امتداد داشت. حدود گستره مرز های بلوچستان در آن عهد از شمال به نیمروز، هلمند و بخش هایی از قندهار(بلوچستان افغانستان)، در شرق تا پنجاب شامل دره غازی خان، در جنوب سواحل مکران در امتداد دریای عرب از کراچی تا بندرعباس و در غرب شامل بلوچستان ایران (استان سیستان و بلوچستان، جنوب کرم
ان، شرق هرمزگان تا بندرعباس) بود.منطقه بلوچستان افغانستان تا قبل از استعمار و تقسیم بلوچستان توسط هند بریتانیا جزء اراضی خانات کلات که در اواخر قرن ۱۹ بخشی از وسعت خود را به ایران قاجاری و امارت افغانستان از دست داد. خاندانی بود که از اوایل قرن نوزدهم تا اواخر قرن نوزدهم بر سیستان به پایتختی چخانسور در قلعه ابراهیم خان سنجرانی حکومت می کرد. این خاندان تمام طول حکومت خود را وفادار و تابع دولت خانات کلات بود. قلعه ابراهیم خان سنجرانی متعلق به سران سنجرانی گزارش شده است. مردم شناسی. گفته می شود جمعیت بلوچ ها در افغانستان تقریباً ۶۰۰٬۰۰۰ نفر است که ۴۰۰٬۰۰۰ بلوچی زبان و ۲۰۰٬۰۰۰ براهویی زبان هستند. بیشتر این بلوچها در جنوب افغانستان زندگی می کنند. بلوچی زبان ها بیشتر در ولایت نیمروز و براهویی زبا نها عمدتاً ساکن ولایت قندهار هستند. در هلمند، بلوچ زبان ها و براهویی زبان هایِ بلوچ با هم زندگی می کنند. بلوچ ها در سایر مناطق افغانستان به زبان پشتو و فارسی دری صحبت می کنند. فرهنگ و هنر. صنایع دستی. قالیبافی و سوزن دوزی بلوچی از حرفه های رایج در میان بلوچ های افغانستان است. قالیچه های بلوچی و کف پوش های بلوچی اغلب در باز
ار محلی هرات و بازار جهانی به فروش می رسد.سوزن دوزی و صنایع دستی هنر زنان بلوچ در افغانستان است. زنان بلوچ لباس هایی به نام «زی آستین و گوپتان» می پوشند که بر روی آن نقوش سوزن دوزی و گلدوزی بلوچی طراحی شده است. نگهداری و پرورش شتر و نیز برگزاری مسابقات شترسواری در ولایت نیمروز در بین بلوچ ها رواج دارد.
پوسای از نخستین قدیسان مسیحی ایرانی، از اعقاب اسیران رومی بود که در زمان شاپور دوم در پارس اسکان داده شدند. وی از مسیحیانی بود که تحت حکومت ساسانی در آرامش زندگی می کرد (و حتی) با بانویی محلی ازدواج کرد، به او (مسیحیت) را آموزش داد و فرزندان خود را تعمید داد و آنها را به شیوه مسیحیان پرورش و آموزش داد. وی بعداً افتخارات بزرگی (در دربار شاپور دوم) کسب کرد و در شهر شاهی جدید التاسیس کرخه لدان به سمت رئیس صنف بافندگان سلطنتی منصوب شد. وی بعداً توسط موبد موبدان به دلیل عدم پشت کردن به مسیحیت کشته شد. در گزارش کاملتری از مسیحیان درباره مرگ پوسای اینگونه نوشته شده است که شمعون ملقب به پسر صباغ، اسقف شهرهای سلوکیه و تیسفون ضمن انکار پادشاهی ایران اعلام کرد که آنها طبق آموزه های مسیح دیگر مالیات و عوارضی به دولت ساسانی پرداخت نمی کنند. این اقدامات باعث شد که پادشاه ایران کشیشان پیرو شمعون را به مرگ با شمشیر محکوم نماید. در زمان اجرای مراسم حکم اعدام شمعون و پیروانش، پوسای که اخیرا به مقام ریاست کارگران پادشاه رسیده بود و در میان جمعیت حضور داشت، به یکی از اعدامیان مسیحی قوت قلب میداد که از مرگ نترسد تا نور مسیح را بب
یند. در نتیجه پوسای دستگیر و نزد پادشاه آورده به او اتهام خیانت به شاه را زدند. پادشاه: تو سزاوار مرگ نیستی؟ مگر من تو را صاحب مقام نکردم؟ چرا با رفتن به تماشای مرگ این خائنین، مرا استهزا نمودی؟ پوسایی: مرگ آنان برای من حیات بخش می‏باشد. من از مقامی‏که تو به من داده ‏ای، چشم ‏پوشی می‏کنم چون پر از دام و تله می‏باشد و در عوض مرگی را که به آنها دادی می‏پذیرم، چون با شادی یکسان است. پادشاه: ای ابله، تو نیز در پی همین سرنوشت هستی؟ پوسای: من مسیحی هستم و به خدای ایشان ایمان دارم و به همین جهت است که مرگ آنان را به مقامی ‏که تو به من داده‏ ای ترجیح می‏دهم. پادشاه: او مقامی‏ را که به وی اعطا کرده بودم حقیر شمرد و به خود این اجازه را داد که با من همانند یکی از همردیفان خویش صحبت نماید. زبان او را در بیاورید تا برای دیگران سرمشق باشد. دستور پادشاه ‏اجرا گشت و پوسای درگذشت. منابع. افول و سقوط شاهنشاهی ساسانی نوشته پروانه پورشریعتی صفحهٔ ۴۲۸ Walker, Joe Thomas, The Legend of Mar Qardagh: Narrative and Christian Heroism in late Antique Iraq, pp. 222-224
لوئیز هنریکه (زاده ۲ ژانویه ۲۰۰۱) یک بازیکن فوتبال اهل برزیل است که هم اکنون برای باشگاه فوتبال زنیت سن پترزبورگ در پست مهاجم بازی می کند.
هورست بومه (به آلمانی: Horst Böhme) (زاده ۲۴ اوت ۱۹۰۹ - درگذشته ۱۰ آوریل ۱۹۴۵) یک کارمند آلمانی اس اس در دوران نازی ها بود . او در SD، سرویس اطلاعاتی اس اس، خدمت می کرد.
در اپتیک، باریکه گاوسی باریکه ای از تابش الکترومغناطیسی با تک فامی بالا است که پوش دامنه آن در صفحه عرضی با تابع گاوسی به دست می آید. این همچنین دلالت بر نمایه شدت (چگالی تابش) گاوسی دارد. این مُد گاوسی عرضی اصلی (یا TEM00) خروجی مورد نظر اکثر لیزرها (و نه همه) را توصیف می کند، زیرا چنین باریکه ای می تواند به متمرکزترین نقطه متمرکز شود. هنگامی که چنین باریکه ای توسط یک عدسی مجدداً فوکوس می شود، وابستگی "فاز" عرضی تغییر می کند. این منجر به یک باریکه گاوسی "متفاوت" می شود. نیم نمای دامنه میدان الکتریکی و مغناطیسی در امتداد هر باریکه دایره ای گاوسی (برای طول موج و قطبش معین) توسط یک تک پارامتر مشخص می شود: به اصطلاح کمر . در هر موقعیت نسبت به کمر (تمرکز) در امتداد باریکه با مشخص شده، دامنه و فازهای میدان بدینوسیله به شرح زیر تعیین می شوند. راه حل های دلخواه معادله هلمهولتز پیرامحوری را می توان به صورت ترکیبی از مدهای هرمیتی-گاوسی (که نیم نماهای دامنه با استفاده از مختصات دکارتی در x و y تفکیک پذیر هستند)، مدهای لاگر-گاوسی (که نیم نماهای دامنه در مختصات استوانه ای r و θ تفکیک پذیر هستند) بیان کرد. یا به طور مشابه
به عنوان ترکیبی از مدهای اینس-گاوسی (که نمایه های دامنه در ξ و η با استفاده از مختصات بیضوی تفکیک پذیر هستند). فرم ریاضی. باریکه گاوسی یک مد الکترومغناطیسی عرضی (TEM) است. عبارت ریاضی دامنه میدان الکتریکی جوابی برای معادله هلمهولتز پیرامحوری است. با فرض قطبش در جهت و انتشار در جهت ، میدان الکتریکی در نماد فازور (مختلط) به صورت زیر به دست می آید:formula_1که همچنین یک وابستگی زمانی قابل درک وجود دارد کمیت های فازوری را ضرب می کند. میدان واقعی در یک نقطه از زمان و مکان توسط بخش حقیقی آن کمیت مختلط به دست می آید. این عامل زمان شامل یک قرارداد علامت دلخواه است. از آنجایی که این جواب به تقریب پیرامحوری متکی است، برای باریکههای بسیار واگرا دقیق نیست. فرم فوق در بیشتر موارد عملی معتبر است، جایی که . توزیع شدت (یا چگالی تابش) مربوطه توسطformula_2که در آن ثابت امپدانس موج محیطی است که باریکه در آن منتشر می شود. برای فضای آزاد، ≈ ۳۷۷ Ω. شدت در مرکز باریکه در کمر آن است. اگر توان کل باریکه باشد،formula_3 عرض باریکه درحال گسترش. در موقعیت در امتداد باریکه (اندازه گیری شده از کانون)، پارامتر اندازه نقطه توسط یک رابطه هذلو
لی داده می شود:formula_4در اینجاformula_5این محدوده ریلی نامیده می شود و formula_6 ضریب شکست محیط است. شعاع باریکه ، در هر موقعیت در امتداد باریکه، مربوط به پهنا کل در در نصف بیشینه (FWHM) توزیع شدت در آن موقعیت بر اساس: formula_7 فاز گویی. "فاز گویی" یک پیشروی فاز است که به تدریج توسط یک باریکه در اطراف ناحیه کانونی به دست می آید. در موقعیت فاز گویی یک باریکه گاوسی اساسی به دست می آید با formula_8 پارامترهای باریکه. وابستگی هندسی میدان های یک باریکه گاوسی توسط طول موج نور ("در" محیط دی الکتریک، اگر فضای آزاد نباشد) و پارامترهای باریکه زیر کنترل می شود کمر باریکه. شکل یک باریکه گاوسی با طول موج معین تنها توسط یک پارامتر کنترل می شود، "کمر" "باریکه" . محدوده ریلی و پارامتر هم کانونی. "فاصله ریلی" یا "محدوده ریلی" با توجه به اندازه کمر باریکه گاوسی تعیین می شود:formula_9در اینجا طول موج نور و ضریب شکست است. در فاصله ای از کمر برابر با محدوده ریلی ، عرض باریکه بزرگتر از آن است که در کانون ، کمر باریکه قرار دارد. این همچنین به این معنی است که شدت روی محور () یک نیمی از شدت اوج (در ) است. آن نقطه در امتداد باریکه
نیز اتفاقاً جایی است که انحنای جبهه موج () بیشترین است. فاصله بین دو نقطه "پارامتر هم کانونی" یا "عمق تمرکز" باریکه نامیده می شود. واگرایی باریکه. اگرچه دم یک تابع گاوسی در واقع هرگز به صفر نمی رسد، برای اهداف بحث زیر "لبه" یک باریکه شعاع در نظر گرفته می شود که . اینجاست که شدت به مقدار روی محور آن کاهش یافته است. اکنون برای پارامتر به صورت خطی با افزایش می یابد. این بدان معنی است که دور از کمر، باریکه "لبه" (به معنای بالا) مخروطی شکل است. زاویه بین آن مخروط (که ) و محور باریکه () "واگرایی" باریکه را مشخص می کند:formula_10در حالت پیرامحوری، همان طور که در نظر گرفتیم، (بر حسب رادیان) تقریباً است.formula_11که در آن ضریب شکست محیطی است که باریکه در آن منتشر می شود و طول موج فضای آزاد است. سپس کل گستردگی زاویه ای باریکه واگرا، یا "زاویه راس" مخروط توصیف شده در بالا، باformula_12سپس آن مخروط حاوی ۸۶ درصد از کل توان باریکه گاوسی است. توان و شدت. توان از طریق دریچه. با باریکهی متمرکز بر دریچه، توان که از دایره ای به شعاع در صفحه عرضی در موقعیت می گذرد، است:formula_13دراینجاformula_14کل توان منتقل شده توسط باریکه است
. برای دایره ای با شعاع ، کسر توان منتقل شده از دایره برابر است باformula_15به طور مشابه، حدود ۹۰٪ از توان باریکه از طریق یک دایره با شعاع ، ۹۵٪ از طریق یک دایره با شعاع و ۹۹٪ از طریق یک دایره با شعاع جریان می یابد. شدت اوج. شدت اوج در فاصله محوری از کمر باریکه را می توان به عنوان حد توان محصور در دایره ای به شعاع محاسبه کرد که با کوچک شدن دایره بر مساحت دایره تقسیم می شود:formula_16محدودیت را می توان با استفاده از قاعده هوپیتال ارزیابی کرد:formula_17
شبح فلوریدا ، یک گیاه هوازی چند ساله از خانواده ثعلبیان بومی فلوریدا، باهاما و کوبا است. این گل ارکیده اغلب در باتلاقهای جنوب غربی فلوریدا آمریکا و کشور کوبا یافت می شود و به دلیل رنگ سفید چشمگیرش در تاریکی مثل یک روح شناور در هواست و به این دلیل شبح فلوریدا نام گرفته است.
این مقاله در مورد معناشناسی عملیاتی است. برای معناشناسی ریاضی رسمی برنامه های منطقی، به منطقی مراجعه کنید. و معناشناسی prolog ، یک زبان برنامه نویسی، مجموعه ای از قوانین هستند که تعریف می کنند چگونه یک برنامه Prolog نوشته می شود و چگونه تفسیر می شود. قوانین در استاندارد ISO / IEC ۱۳۲۱۱ [‏ ۱ ]‏ قرار داده شده اند، اگرچه تفاوت هایی در وجود دارد. انواع داده ها. پرولوگ بصورت پویا تایپ می شود. آن یک نوع داده واحد دارد، این اصطلاح، چندین نوع فرعی دارد: اتم ها، اعداد، متغیرها و اصطلاحات ترکیبی. یک نام عمومی بدون هیچ معنای ذاتی است. آن از یک توالی از کاراکترها تشکیل شده است که توسط خواننده Prolog به عنوان یک واحد تجزیه شده است. اتم ها معمولا کلماتی ساده در کد Prolog هستند که بدون ترکیب خاصی نوشته شده اند. با این حال، اتم های حاوی فضا یا شخصیت های خاص دیگر باید توسط نقل قول های منفرد احاطه شوند. همچنین باید از اتم هایی که با حرف بزرگ شروع می شوند، نقل قول کرد تا آن ها را از متغیرها متمایز کند. فهرست خالی، نوشته شده [‏ ]‏، نیز یک اتم است. مثال های دیگر اتم ها عبارتند از 'x، blue،' Taco و 'some atom'. اعداد می توانند شنا
ور یا اعداد صحیح باشند. بسیاری از پیاده سازی های Prolog همچنین اعداد صحیح نامحدود و اعداد منطقی را ارایه می دهند. ​ متغیرها با رشته ای متشکل از حروف، اعداد و کاراکترهای زیرخط نشان داده می شوند و با یک حرف بزرگ یا زیرخط شروع می شوند.. متغیرها از نظر منطقی به متغیر ها شباهت نزدیکی دارند زیرا برای اصطلاحات دلخواه جای دارند. یک متغیر می تواند از طریق یک پارچه سازی معرفی شود (‏با یک عبارت خاص برابر شود)‏. یک زیرخط (‏_)‏یک متغیر ناشناس را نشان می دهد و به معنای "هر اصطلاح" است. برخلاف سایر متغیرها، زیرخط نشان دهنده ارزش یک سان در هر جایی که در تعریف گزاره رخ می دهد نیست. یک عبارت ترکیبی از یک اتم به نام "عمل کننده" و تعدادی از "استدلال ها یا برهان" که دوباره اصطلاح هستند تشکیل شده است. عبارات مرکب معمولا به عنوان یک عمل کننده یا تابع نوشته می شوند و به دنبال آن یک لیست ا از عبارات استدلالی جدا شده با کاما که در پرانتز وجود دارد، قرار می گیرد. تعداد استدلال ها "ارزش یا درجه" نامیده می شود. یک اتم می تواند به عنوان یک عبارت ترکیبی با درجه یا آریتی صفر در نظر گرفته شود. نمونه هایی از عبارات مرکب عبارتند از سال کامیون
(‏"مزدا"، ۱۹۸۶)‏و دوستان پرسون (‏زلدا، [تام، جیم])‏. اصطلاحات ترکیبی با تابع هایی که به عنوان عملگرها اعلام شده اند را می توان در پیشوند یا پسوند نوشت. برای مثال، عبارات (‏z)‏-، (‏a، b) +‏و (‏X، Y) ‏=نیز می توانند به ترتیب به صورت z، a + b -و X = Y نوشته شوند. کاربران می توانند توابع دل خواه را به عنوان عملگرهایی با الویت های متفاوت اعلام کنند.تا نمادهای خاص دامنه را ممکن سازد. نماد f / n معمولا برای نشان دادن یک عبارت با تابع f و arity n به کار می رود. موارد خاص اصطلاحات مرکب : برنامه های پرولوگ(prolog). برنامه های prolog ، روابطی را توصیف میکند که با استفاده از بندها تعریف می شوند . Pure Prologبه بند هورن، زیر مجموعه کامل تورینگ از منطق گزاره مرتبه اول محدود می شود. دو نوع بند وجود دارد: حقایق و قوانین. یک قانون به شکل زیر است: Head :- Body. و به این صورت خوانده می شود که "اگر body درست باشد، head درست است". بدنه یک قانون شامل فراخوان هایی برای پیش بینی است که اهداف قانون نامیده می شوند. گزاره داخلی ,/2 ، (‏به معنای یک عملگر دو آریتی با نام،)‏نشان دهنده اهداف، و ;/2 نشان دهنده انفصال یا تفکیک است. حروف ربط
و منفصل فقط در body ظاهر می شوند، نه در head یا راس یک قاعده. جملاتی که بدن های خالی دارند، واقعیت نامیده می شوند.مثالی از یک واقعیت این است: cat(tom). که معادل قاعده است: cat(tom) :- true. مثال دیگر: X is 3+2. و هنگامی که آن را اجرا کنید، نتیجه خواهد بود: X=5 Yes. گزاره داخلی true/0 همیشه درست است. ارزیابی. اجرای یک برنامه Prolog با ارسال یک هدف توسط کاربر به نام query آغاز می شود. به طور منطقی، موتور Prolog تلاش می کند تا یک رد قطعنامه برای پرس و جوی رد شده پیدا کند. روش تفکیک مورد استفاده توسط Prolog، رزولوشن SLD نامیده می شود. اگر پرسوجوی منفی را بتوان رد کرد، نتیجه این است که پرسوجو، با پیوندهای متغیر مناسب، یک نتیجه منطقی از برنامه است. در این حالت، تمام پیوندهای متغیر تولید شده به کاربر گزارش می شوند و گفته می شود که پرس و جو موفق بوده است. از نظر عملیاتی، استراتژی اجرای prolog را می توان به عنوان تعمیمی از فراخوانی های تابع در زبان های دیگر در نظر گرفت، یکی از این تفاوت ها این است که سربندهای چندگانه می توانند با یک فراخوانی معین مطابقت داشته باشند. در این حالت، سیستم یک نقطه انتخاب ایجاد می کند، هدف
را با سر بند گزینه اول یکسان می کند، و با اهداف اولین جایگزین ادامه می یابد. اگر هر هدفی در طول اجرای برنامه شکست بخورد، تمام اتصالات متغیری که از زمان ایجاد آخرین نقطه انتخاب ایجاد شده اند، لغو می شوند و اجرا با جایگزین بعدی آن نقطه انتخاب ادامه می یابد. این استراتژی اجرا، عقبگرد زمانی نامیده می شود. mother_child(trude, sally). father_child(tom, sally). father_child(tom, erica). father_child(mike, tom). sibling(X, Y) :- parent_child(Z, X), parent_child(Z, Y). parent_child(X, Y) :- father_child(X, Y). parent_child(X, Y) :- mother_child(X, Y). این نتیجه در پرس و جو زیر بصورت صحیح ارزیابی می شود: ?- sibling(sally, erica). Yes این مورد به صورت زیر به دست می آید: در ابتدا، تنها انطباق بند - هد برای خواهر و برادر پرسوجو (‏یعنی، اریکا)‏اولین مورد است، بنابراین اثبات پرسوجو برابر با اثبات بدنه آن بند با پیوندهای متغیر مناسب در مکان است، یعنی حرف ربط (‏والد - فرزند (Z,سالی )‏، والد - فرزند (Z,اریکا ))‏. هدف بعدی که باید اثبات شود چپ ترین هدف از این پیوند است، یعنی والد - فرزند (‏Z,سالی)‏. دو سر بند با این هدف مطابقت
دارند. این سیستم یک نقطه انتخاب ایجاد می کند و اولین جایگزین را امتحان می کند که بدن آن پدر - فرزند است. این هدف را می توان با استفاده از پدر - فرزند (‏تام، سالی)‏اثبات کرد، بنابراین پیوند Z = تام تولید می شود، و هدف بعدی که باید اثبات شود بخش دوم رابطه بالا است: والد - فرزند (‏تام، اریکا)‏. باز هم، این موضوع را می توان با واقعیت مربوطه اثبات کرد. از آنجا که همه اهداف را می توان اثبات کرد، پرس و جو موفق می شود. از آنجا که پرس و جو حاوی هیچ متغیری نبود، هیچ پیوندی به کاربر گزارش نشده است. یک پرس و جو با متغیرهایی مانند: ?- father_child(Father, Child). تمام پاسخ های معتبر در مورد بازخورد را برمی شمارد. توجه داشته باشید که با کدی که در بالا ذکر شده ، پرس و جو؟ .(sibling(sally, sally-? نیز موفق می شود. در صورت تمایل می توان اهداف اضافی را برای توصیف محدودیت های مربوطه درج کرد. حلقه ها و بازگشت. الگوریتم های تکراری را می توان با استفاده از گزاره های بازگشتی اجرا کرد. سیستم های پرولوگ معمولا یک تکنیک بهینه سازی معروف به نام بهینه سازی (‏TCO)‏را برای پیش بینی های قطعی که را نشان می دهند یا، به طور کلی تر، فراخوانی د
نباله را اجرا می کنند: یک چارچوب پشته قبل از انجام فراخوانی در موقعیت دنباله کنار گذاشته می شود. بنابراین، گزاره های بازگشتی قطعی با فضای پشته ثابت، مانند حلقه های در زبان های دیگر اجرا می شوند. برش. برش (!) در داخل یک قاعده مانع از بازگشتprolog از هرگونه پیش بینی در پشت برش می شود: predicate(X) :- one(X), !, two(X). اگر اولین مقدار یافت شده X که یک (X) درست است، منجر به نادرست بودن دو (X) شود، شکست خواهد خورد. متغیرهای ناشناس. متغیرهای ناشناس _ هرگز به یک مقدار محدود نمی شوند و می توانند چندین بار در یک گزاره مورد استفاده قرار گیرند. برای مثال جستجوی یک لیست برای یک مقدار مشخص: contains(V, [V|_]). contains(V, [_|T]) :- contains(V, T). نفی. گزاره پرولوگ ساخته شده +/1 ، فراهم می کند، که استدلال غیر یکنواخت را امکان پذیر می سازد. هدف + غیرقانونی(X) در قانون legal(X) :- + illegal(X). به صورت زیر ارزیابی می شود: به صورت زیر ارزیابی می شود: Prolog تلاش می کند تا غیرقانونی (X) را اثبات کند. اگر مدرکی برای اثبات این هدف یافت شود، هدف اصلی (‏یعنی + غیرقانونی (‏X)‏)‏با شکست مواجه می شود. اگر هیچ مدرکی پیدا نشود، هدف ا
صلی موفق می شود. بنابراین عملگر پیشوند + / ۱ عملگر "قابل اثبات" نامیده می شود ، زیرا عبارت ?- + Goal است. اگر هدف قابل اثبات نباشد موفق می شود. این نوع نفی درست است اگر استدلال آن "پایه" باشد (‏یعنی شامل هیچ متغیری نیست)‏. اگر آرگومان دارای متغیر باشد، صحت ازبین می رود. 0به طور خاص، پرس و جو ?- قانونی (X). اکنون نمی توان برای برشمردن همه چیزهایی که قانونی هستند استفاده کرد ​ مفاهیم. تحت یک مطالعه خبری، ترتیب قواعد و اهداف درون قواعد، بی ربط است، زیرا تفکیک منطقی و پیوستگی، جابجایی پذیر هستند. با این حال، در طول مسیر، اغلب مهم است که استراتژی اجرای پرولوگ را در نظر بگیریم، یا به دلایل کارایی، ویا به دلیل معنایی بودن گزاره های ناخالص داخلی که ترتیب ارزیابی برای آن ها اهمیت دارد. همچنین، همانطور که مفسرهای پرولوگ تلاش می کنند تا عبارات را به ترتیبی که ارایه می شوند یکسان کنند، عدم ارایه ترتیب صحیح می تواند منجر به بازگشت نامحدود شود، مانند: predicate1(X) :- predicate2(X,X). predicate2(X,Y) :- predicate1(X), X = Y. با توجه به این دستور ,هر پرس و جو از فرم ?- predicate1(atom). تا زمانی که پشته تمام شود تکرار می شو
د. با این حال، اگر 3 خط آخر به: predicate2(X,Y) :- X = Y, predicate1(X). همان پرس و جو در مدت زمان بسیار کوتاهی منجر به یک نتیجه شماره می شود. گرامرهای جملات معین. نماد خاصی به نام گرامرهای بند معین (DCG)ها وجود دارد. یک قانون تعریف شده از طریق - -&gt;/2 به جای: - / ۲ توسط پیش پردازنده گسترش می یابد (expand _ term/2، تسهیلاتی مشابه ماکروها در زبان های دیگر) مطابق با چند قانون بازنویسی ساده، گسترش می یابد که منجر به ایجاد بندهای Prolog معمولی می شود . از همه مهم تر، بازنویسی، گزاره را با دو آرگومان اضافی مجهز می کند، که می تواند به طور ضمنی حالت را به هم متصل کند، مشابه در زبان های دیگر. DCG ها اغلب برای نوشتن تجزیه کننده ها یامولد های لیست مورد استفاده قرار می گیرند، چرا که یک رابط مناسب برای لیست کردن تفاوت ها فراهم می کنند. نمونه تجزیه کننده. یک مثال بزرگ تر پتانسیل استفاده از Prolog در تجزیه را نشان می دهد. با توجه به جمله ای که در قالب بک - نئور بیان شد:&lt;syntaxhighlight&gt; &lt;sentence&gt; ::= &lt;stat_part&gt; &lt;stat_part&gt; ::= &lt;statement&gt; | &lt;stat_part&gt; &lt;statement&gt; &lt;statement
&gt; ::= &lt;id&gt; = &lt;expression&gt; ; &lt;expression&gt; ::= &lt;operand&gt; | &lt;expression&gt; &lt;operator&gt; &lt;operand&gt; &lt;operand&gt; ::= &lt;id&gt; | &lt;digit&gt; &lt;id&gt; ::= a | b &lt;digit&gt; ::= 0..9 &lt;operator&gt; ::= + | - | * &lt;/syntaxhighlight&gt;این را می توان در Prolog با استفاده از DCG ها نوشت، که مربوط به یک تجزیه کننده پیش بینی با یک نگاه به جلو است: sentence(S) --&gt; statement(S0), sentence_r(S0, S). sentence_r(S, S) --&gt; []. sentence_r(S0, seq(S0, S)) --&gt; statement(S1), sentence_r(S1, S). statement(assign(Id,E)) --&gt; id(Id), [=], expression(E), [;]. expression(E) --&gt; term(T), expression_r(T, E). expression_r(E, E) --&gt; []. expression_r(E0, E) --&gt; [+], term(T), expression_r(plus(E0,T), E). expression_r(E0, E) --&gt; [-], term(T), expression_r(minus(E0, T), E). term(T) --&gt; factor(F), term_r(F, T). term_r(T, T) --&gt; []. term_r(T0, T) --&gt; [*], factor(F), term_r(times(T0, F), T). factor(id(ID)) --&gt; id(ID). factor(digit(D)) --&gt; [D], { (number(D
) ; var(D)), between(0, 9, D)}. id(a) --&gt; [a]. id(b) --&gt; [b]. این کد رابطه بین یک جمله (‏که به عنوان یک لیست از نشانه ها داده می شود)‏و درخت نحوی انتزاعی(AST) آن را تعریف می کند. مثال پرس و جوی: ?- phrase(sentence(AST), [a,=,1,+,3,*,b,;,b,=,0,;]). AST = seq(assign(a, plus(digit(1), times(digit(3), id(b)))), assign(b, digit(0))) ; AST با استفاده از اصطلاحات Prolog نمایش داده می شود و می تواند برای اعمال بهینه سازی ها، کامپایل چنین عباراتی در کد ماشین یا تفسیر مستقیم چنین عباراتی استفاده شود. همانطور که برای ماهیت رابطه ای محمول ها معمول است، این تعاریف را می توان هم برای تجزیه و تولید جملات و هم برای بررسی اینکه آیا یک درخت معین با فهرست معینی از نشانه ها مطابقت دارد استفاده کرد. . با استفاده از روش عمیق سازی تکراری برای شمارش منصفانه، هر جمله دل خواه اما ثابت و AST متناظر آن در نهایت به دست می آید: ?- length(Tokens, _), phrase(sentence(AST), Tokens). Tokens = [a, =, a, (;)], AST = assign(a, id(a)) ; Tokens = [a, =, b, (;)], AST = assign(a, id(b)) etc.
«موسیقی دیوانه کننده» ترانه ای از خواننده و ترانه سرای ایتالیایی مارکو منگونی با همراهی آلودی برای هشتمین آلبوم استودیویی اش "منشور" (۲۰۲۳) است. این ترانه در ۲۶ مه ۲۰۲۳ به عنوان نخستین تک آهنگ آلبوم ازطریق سونی میوزیک منتشر شد.
رناتا فونته (بهایتالیایی: Renata Fonte؛ زاده ۳ مارس ۱۹۵۱ - درگذشته ۳۱ مارس ۱۹۸۴) یک سیاستمدار زن اهل ایتالیا بود. که به عنوان ارزیاب فرهنگ در شورای شهر ناردو (لچه) خدمت کرد. او در شب ۳۱ مارس در زادگاهش (ناردو) پس از جلسه شورای شهر، هنگام بازگشت به خانه، توسط یک باند مافیایی با سه گلوله تپانچه کشته شد. او اولین زنی بود که در سال ۱۹۸۲ سمت شورای فرهنگ و آموزش عمومی را بر عهده گرفت. قتل. او در ۳۱ مارس ۱۹۸۴ هنگام بازگشت به خانه توسط دو قاتل کشته شد. عاملان واقعی قتل به سرعت دستگیر شدند. آنتونیو اسپانیلو نامزد بعدی برای کرسی در انتخابات شهرداری که دستور آن این قتل را صادر کرده بود نیز دستگیر شد. اگرچه انگیزه هنوز نامشخص است، اعتقاد بر این است که قتل در واکنش به مبارزه سیاسی او برای جلوگیری از تقسیم بندی و گمانه زنی های شهری در خلیج پورتو سلواجو انجام شده است. جایزه رناتا فونته. هرساله «اتحادیه زنان متحد ایتالیا» تندیسی از رناتا فونته که خود قربانی خشونت بوده است را برای قدردانی از فعالان حقوق زنان و افرادی که به طور خستگی ناپذیری در ترویج قوانین ضد خشونت تلاش می کنند، به آن ها اعطا می کند. در سال ۲۰۲۳ جایزه رناتا ف
ونته به چهار زن «الهام بخش» از افغانستان اعطا شد. این اتحادیه نوشت که از بتول حیدری، صدیقه مشتاق، نسا محمدی و راضیه احسانی به خاطر نقش شان در «تشویق و توانمندسازی» زنان و دختران افغان قدردانی می کند.
«دو زندگی» () ترانه ای از خواننده و ترانه سرا ایتالیایی مارکو منگونی از هفتمین آلبوم استودیویی اش "پوست" (۲۰۲۲) است. این ترانه در ۸ فوریه ۲۰۲۳ به عنوان سومین تک آهنگ آلبوم ازطریق سونی میوزیک منتشر شد.