payamvha/North_RAG huggingface dataset:
بسیار سخت و گاه نشدنی است. مگر آن که خود فرد اقرار کرده باشد. دین اسلام نقل و انتشار این گونه اخبار که به عفاف جامعه مربوط است -حتی به فرض اثبات- منع کرده. علت آن هم این است که نمی‌خواهد قبح این گونه گناهان از بین برود. او در آخر گفت: در پرونده آقای سعید طوسی به نظر می‌رسد قصوری صورت گرفته است که حدود پنج سال معطل مانده است. پیشنهاد تشکیل ناتوی اسلامی. در شهریور ۱۳۹۶ خورشیدی، علی مطهری در واکنش به سرکوب یک اقلیت مسلمان در کشور میانمار، خواستار تشکیل یک نیروی مشترک نظامی، شبیه پیمان ناتو بین کشورهای مسلمان
مشترک نظامی، شبیه پیمان ناتو بین کشورهای مسلمان شد تا در موارد مشابه، قادر به مداخله نظامی باشد. مطهری افزود: انتقاد شدید از چند بازیکن تیم ملی فوتبال ایران. در مسابقات فوتبال جام ملت‌های آسیا ۲۰۱۹، بلافاصله پس از شکست تیم ملی فوتبال ایران در برابر تیم ملی فوتبال ژاپن و با توجه به درگیری‌های رخ داده بین بازیکنان تیم ملی ایران با تیم ملی ژاپن، علی مطهری در یک پست اینستاگرامی، ضمن نکوهش شدید رفتار برخی از ملی پوشان فوتبال ایران، رفتار برخی بازیکنان ایران را ضربه‌ای مهلک به مردم ایران محسوب کرد و خواستار
را ضربه‌ای مهلک به مردم ایران محسوب کرد و خواستار تنیبه بازیکنان مذکور شد. علی مطهری همچنین افزود: «رفتاری که آقایان آزمون و حاج‌صفی و رضائیان از خود نشان دادند و در مقابل چشم مردم جهان قرار گرفت ضربه‌ای مهلک به ملت ایران بود و این افراد باید تنبیه شوند. اینها بازی در تیم ملی را با بازی در کوچه و محله اشتباه گرفته‌اند و نمی‌فهمند که رفتار آنها، رفتار و اخلاق و فرهنگ ملت ایران را به دنیا منتقل می‌کند.» انتقاد دربارهٔ مجلس. در فروردین ۹۹، علی مطهری با تأکید بر اینکه «در حال انتقال از جمهوری اسلامی به حکومت
بر اینکه «در حال انتقال از جمهوری اسلامی به حکومت اسلامی هستیم»، گفت: «عده‌ای در درون حاکمیت به‌طور جدی به دنبال حکومت اسلامی هستند، چرا که رأی مردم را تزئینی می‌دانند». او گفت این افراد اعتقاد دارند «مجلس یک نهاد مشورتی و نهادی است که باید منویات رهبری را اجرا کند» و «رئیس‌جمهور مستقیماً باید منصوب رهبری باشد». او بر همین اساس پیشنهاد داد که رئیس‌جمهور آینده توسط رهبر جمهوری اسلامی منصوب شود. مطهری در ادامه گفت بسیاری از مشکلات کنونی ناشی از لج‌بازی بخشی از حکومت با دولت روحانی است و اگر در انتخابات سال
از حکومت با دولت روحانی است و اگر در انتخابات سال ۹۶ ابراهیم رئیسی رای آورده بود، «شاید به مذاکره با آمریکا هم رسیده بودیم و اف‌ای‌تی‌اف هم به اینجا نمی‌رسید» و حامیان او هم می‌گفتند که «ما چرخش عزت‌مدارانه کرده‌ایم و امروز مصلحت اسلام در این است». مطهری همچنین با تأکید بر اینکه «شرکت در انتخابات تأثیری در سرنوشت ما ندارد»، گفت: «نهادهای انتخابی دکوری برای دموکراسی هستند و تصمیمات در جای دیگر گرفته می‌شود». او در توضیح این جمله گفت که در مجلس شورای اسلامی به‌طور دائم گفته می‌شود «پیغامی از بیت آمد» و
به‌طور دائم گفته می‌شود «پیغامی از بیت آمد» و «آقایان لاریجانی و عارف همیشه گوش‌به‌زنگ بیت بوده‌اند». مطهری گفت زمانی که نایب رئیس مجلس بوده، پیشنهاد داده دربارهٔ جایگاه مجلس با علی خامنه‌ای مذاکره شود ولی به آن توجه نشده و «اصلاً مجلس را در این حد نمی‌دانند که با رهبری صحبت کند». انتقاد به اشغال سفارت آمریکا. روز ۱۳ آبان ۱۳۹۹ در سالگرد گروگان‌گیری در سفارت ایالات متحده آمریکا او در توییتر گفت:اگر در شرایط اوایل انقلاب ۵۷، تصرف سفارت آمریکا قابل توجیه بود «ادامه ۴۴۴ روزه آن را نمی‌توانیم به عنوان یک کار
«ادامه ۴۴۴ روزه آن را نمی‌توانیم به عنوان یک کار ضروری و مفید توجیه کنیم» و این اقدام، چهره جمهوری اسلامی «را در دنیا مخدوش و زمینه حمله صدام به ایران را فراهم کرد و امروز هم تحریمهای ناشی از آن را تحمل می‌کنیم.». درگیری با مهدی کوچک‌زاده. در یکی از جلسات مجلس هشتم وقتی مطهری گفت که نام خانوادگی مهدی کوچک‌زاده در گذشته کوچک‌اُف بوده و او تبار روس دارد و وی با نام کوچک‌اُف خطاب کرد، جلسه مجلس با درگیری لفظی و فیزیکی این دو نماینده به تشنج کشیده شد. کوچک‌زاده یک شی را به سوی مطهری پرتاب کرد و مطهری نیز با
یک شی را به سوی مطهری پرتاب کرد و مطهری نیز با عباراتی چون «خفه شو، بتمرگ سر جات» و «پفیوز» او را خطاب قرار داد. مخالفت با عید نوروز بخاطر غزه. علی مطهری در تاریخ ۷ فروردین ۱۴۰۳ دربارهٔ عید نوروز گفت: «متأسفانه اکثر کشورهای اسلامی این موضوع غزه را فراموش کردند و در ایران هم که همه‌مان در این ایام درگیر نوروز هستیم و به‌طور کلی همه موضوع غزه را فراموش کردند و به نظرم به خاطر ظلمی که به مردم غزه شده ما اصلاً نباید عید می‌داشتیم.»
سامانتا تاجیک مدل ایرانی-کانادایی است. سامانتا در تهران به دنیا آمد. وی هنگامی که دو سال داشت همراه با خانواده‌اش به کانادا مهاجرت کرد. سامانتا می‌تواند به دو زبان فارسی و انگلیسی صحبت کند. سامانتا در ونکوور بزرگ شد و برای تحصیل به تورنتو مهاجرت کرد. او در سال ۲۰۰۸ (میلادی) به عنوان ملکه زیبایی کانادا انتخاب شد.
مؤسسه پژوهشهای تصویری یا اختصاراً RII از مراکز برتر پژوهشی تصویری مغزی در ایالات متحده آمریکا است. این مرکز متعلق به مرکز علوم درمانی دانشگاه تگزاس در سن آنتونیو است. پیشینه. این مؤسسه با حمایت مالی منابعی چون وزارت دفاع ایالات متحده آمریکا و راس پرو (هدیه ۱۵ میلیون دلاری) ساخته شد. ساختمان این مؤسسه در سال ۱۹۸۵ تکمیل شد. تجهیزات. در سال ۲۰۰۹، این مؤسسه دارای ۵ پویشگر تصویری ام آر آی ۳ تسلا، ۷ تسلا، و ۱۲ تسلا، دو پت اسکن، دو میکروپت، یک سی‌تی اسکن، و دو شتابدهنده (۱۷ و ۱۱ ام ای وی) می‌باشد. تخصص پژوهشی این
(۱۷ و ۱۱ ام ای وی) می‌باشد. تخصص پژوهشی این مرکز، تصویرگیری از ناحیه مغز و بیماریها و تحقیقات تصویربرداری پزشکی مربوط به آن است. انتشارات. ژورنال هیومن برین مپینگ توسط متخصصین این مرکز ویرایش می‌شود. نرم‌افزار تخصصی مانگو ساخت این مرکز است.
راس پرو (زادهٔ ۲۷ ژوئن ۱۹۳۰ – درگذشتهٔ ۹ ژوئیه ۲۰۱۹)، سیاست‌مدار و میلیاردر آمریکایی اهل تگزاس بود. ثروت وی در سال‌های آخر حیاتش حدود ۴٫۱ میلیارد دلار برآورد می‌شد. پرو در انتخابات ریاست جمهوری آمریکا در سالهای ۱۹۹۲ و ۱۹۹۶ شرکت کرد و رقیب جدی بیل کلینتون بود. وی در انتخابات سال ۱۹۹۲، ۱۹٪ کل آرا شمرده شده آمریکا را به دست آورد. به این ترتیب یکی از موفق‌ترین نامزدهای مستقل در تاریخ انتخابات ریاست جمهوری آمریکا لقب گرفت. پرو قسمتهایی از ثروت خود را به موسسات دانشگاهی تگزاسی بخشید. از جمله این موسسات می‌توان
دانشگاهی تگزاسی بخشید. از جمله این موسسات می‌توان مرکز پزشکی دانشگاه تگزاس شعبه جنوب‌غربی و مرکز پژوهش‌های تصویری مرکز علوم درمانی تگزاس در سن‌آنتونیو را نام برد.
زیست‌رایانش (به انگلیسی: Biological Computing) دانشی است که در‌آن از ساختارهای مولکولی جانداران (مانند دی‌ان‌ای و پروتئین) برای کارهای رایانشی مانند ذخیره‌سازی، بازیابی و پردازش استفاده می‌شود. به‌دلیل امکان استفاده از آن‌ها در انجام محاسبات موازی و حجیم، این فناوری جذابیت زیادی دارد. به یک واحد محاسبه‌گر زیست‌رایانش، رایانۀ زیستی گفته می‌شود. به دلیل نوپا بودن این دانش، گمان می‌رود که این فناوری حداقل ۱۰ سال تا استفاده‌‌ی تجاری فاصله داشته باشد. معرفی. می‌توان گفت زیست‌رایانش، زاده‌ی پیشرفت در دانش
می‌توان گفت زیست‌رایانش، زاده‌ی پیشرفت در دانش نانوزیست‌فناوری است، که نقطه‌ی اشتراک دانش‌های نانویی و زیستی است. با این‌که هر سلول ساختاری شبیه یک رایانه دارد، پژوهشگران به این پی بردند که شیوۀ رفتار سلول‌های جانداران با رایانه‌های دیجیتال و پایگاه داده‌های معرفی شده برای آن‌ها تفاوت بسیاری دارد. برخي از این تفاوت‌ها عبارتند از: با‌توجه به‌این خاصیت و خواص متعدد دیگری که برای زیست‌رایانه‌ها وجود دارد، حرکت به سمت زیست‌رایانه‌ها و استفاده از آن‌ها برای نسل‌های آینده‌ی رایانه‌ها حرکت منطقی به نظر می‌رسد.
آینده‌ی رایانه‌ها حرکت منطقی به نظر می‌رسد. نکته‌ی مهم دیگر در زیست‌رایانه‌ها، شبیه‌سازی سلول و دستکاری کردن آن به‌نفع هدف است. دی‌ان‌ای مانند واحد پردازش مرکزی(CPU) دستورهای ژنتیکی را به سراسر سلول می‌فرستد. از واکنش‌های شیمیایی دیمریزاسیون میتوان گیت‌های منظقی ساخت. پیشرفت‌های چشمگیر. در‌حال حاضر سامانه‌های زیست‌رایانش با قابلیت تشخیص منطق دودویی به‌وجود آمده‌اند. یک گروه پژوهشی در دانشگاه MIT توانسته است با تکیه بر توزیع پروتئین‌ها سیگنال‌های دودویی بسازند. این سامانه به‌این شکل عمل می‌کند که اگر میزان
این سامانه به‌این شکل عمل می‌کند که اگر میزان پروتئین در مسیر شیمیایی بیشتر از آستانه‌ای بود، سیگنال یک و در غیر این صورت، سیگنال صفر مخابره شود. گروه پژوهشی دیگری در دانشگاه استنفورد توانسته است یک مدل زیست‌رایانشی معادل یک ترانزیستور را بسازد. آن‌ها این معادل ترانزیستور را ترانسکریپتور نامیدند. با اختراع ترانسکریپتور و اتکا به پیشرفت‌های قبلی، عملاً سه پایه‌ی اصلی مورد نیاز برای ساخت یک رایانه‌ی زیستی - ذخیر‌ه‌سازی، سیستم منطق و انتقال اطلاعات - فراهم شد.
بشکه، واحد حجمی برابر با ۱۰۰تا ۲۰۰ لیتر است. یک بشکه نفت برابر با ۱۵۸٫۹۸۷۳ لیتر می‌باشد. هر بشکه نفت خام در معاملات بین المللی معادل ۴۲ گالُن محاسبه و ردوبدل میشود و به احتساب هر گالُن ۳.۷۸۵۴ لیتر هر بشکه در حدود ۱۵۹ لیتر گنجایش دارد البته در جابجایی های داخلی کشورها از بشکه هایی با ظرفیت بالاتر استفاده میشود.
مهندسی الگوریتم طراحی الگوریتم کاربردی است که کاربردهای طراحی الگوریتم نظری را در جهان واقعی دنبال می‌کند. به دنبال طراحی، تحلیل، کاربرد، اشکال‌زدایی و ارزیابی تجربی برنامه‌های رایانه‌ای برای حل مسایل الگوریتمی است. این رشته روش‌ها و ابزارهایی برای توسعه و مهندسی کدهای الگوریتمی کارا فراهم می‌آورد و هدف آن جمع‌آوری و تقویت راهکارهای نظری سنتی برای طراحی و تحلیل الگوریتم‌ها و ساختار داده‌ها است. الگوریتم‌ها قالبهای ساختمانی اصلی برنامه کاربردی کامپیوتر می‌باشند. با این حال، پیشرفت در سخت‌افزار کامپیوتر،
با این حال، پیشرفت در سخت‌افزار کامپیوتر، غیرواقعی و غیرآرمانی‌ترشدن مدلهای کامپیوتری سنتی و تقاضای روزافزون راه‌حلهای مؤثر برای مشکلات دنیای واقعی، فاصله بین تئوری‌های کلاسیک الگوریتم و الگوریتم‌ها در عمل را افزایش داده است. نظم و انضباط در حال پدیدارشدن از مهندسی الگوریتم در نظر دارد این فاصله را پر کند. تئوری اجزاء مهندسی الگوریتم با استفاده از برنامه‌های واقعی و به وسیلهٔ آزمایشهای مفید و با تأکید برابر بر روی همه جنبه‌های ناشی از چرخه فرایند حل مسئله از مدل‌سازی واقعی، طراحی، تجزیه و تحلیل، پیاده‌سازی
مدل‌سازی واقعی، طراحی، تجزیه و تحلیل، پیاده‌سازی قوی و کارآمد تا آزمایش‌های دقیق، مورد بررسی قرار می‌دهد
میکروپت نوعی ویژه از مقطع نگار با نشر پوزیترون است. از این دستگاه‌ها برای مطالعات تصویر برداری جانوران کوچک (هماند موش) استفاده می‌شود.
میان‌ایالتی ۴۰ مشهور به I-40، نام یک بزرگراه است، و یکی از شاه راههای سرتاسری آمریکا است که در مسیر ۴۱۱۸ کیلومتری خود از شهرهای متعددی گذر می‌کند.
ناپلئون دوم (ناپلئون فرانسوا ژوزف شارل بناپارت) (زاده ۲۰ مارس ۱۸۱۱ میلادی – درگذشته ۲۲ ژوئیه ۱۸۳۲ میلادی) پسر ناپلئون بناپارت و همسر دوم او ماری لوئیز (دوشس پارما) بود. ناپلئون دوم از بدو تولد شاه روم لقب گرفت. او مدت کوتاهی دومین امپراتور فرانسه شد. او در اتریش بزرگ شد. مادر او، ماری لوئیز، عاشق یکی از افسران دربار وین شد و از ناپلئون غفلت کرد. او در ۲۲ ژوئیه ۱۸۳۲ بر اثر سینه پهلو درگذشت. انتقال جسد به پاریس. در پانزدهم دسامبر ۱۹۴۰، آدولف هیتلر دستور داد تا جسد او از وین به پاریس منتقل شده و در کنار قبر
تا جسد او از وین به پاریس منتقل شده و در کنار قبر پدرش ناپلئون یکم، در لزنولید دفن شود. هرچند شاهزاده جوان مدتی در کنار پدرش - که هرگز او را ندیده بود - آرام گرفت، اما مدتی بعد جسدش به یک کلیسا در لزنولید منتقل شد. منابع. Wikipedia contributors, "Napoleon II of France," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Napoleon_II_of_France&amp;oldid=269921286 (accessed February ۱۱، ۲۰۰۹).
میان‌ایالتی ۹۵ مشهور به I-95، نام یک بزرگراه است، و یکی از شاه راههای سرتاسری آمریکا است که در مسیر ۳۰۹۸ کیلومتری خود از شهرهای متعددی گذر می‌کند.
برنامه‌نویسی منطقی یک پارادایم برنامه‌نویسی است که بیشتر آن مبتنی بر منطق صوری است. هر برنامه نوشته‌شده به یک زبان برنامه‌نویسی منطقی مجموعه‌ای از جمله‌ها است که حالت منطقی دارند، که آن جمله‌ها بیانگر «واقعیت» و «قاعده» دربارهٔ یک دامنه مسئله هستند. خانواده‌های زبان برنامه‌نویسی منطقی اصلی شامل پرولوگ، برنامه‌نویسی مجموعه جواب (ASP) و دیتالاگ است. در همه این زبان‌ها، «قاعده‌ها» به حالت «بند» نوشته می‌شوند: H :- B1, …, Bn. که به صورت اعلانی به صورت پیامد منطقی خوانده می‌شود: H if B1 and … and Bn. به H «راس»
خوانده می‌شود: H if B1 and … and Bn. به H «راس» یا «سر» قاعده گفته می‌شود، و به B1, … , Bn «بدنه» گفته می‌شود. «واقعیت» قاعده‌ای است که بدنه ندارد، و به صورت ساده‌شده زیر نوشته می‌شود: H. در ساده‌ترین حالت که H, B1, … , Bn همه شان فرمول اتمی هستند، به این بندها بند معین یا بند هورن گفته می‌شود. با این حال گسترش‌های زیادی برای این حالت ساده وجود دارد، که مهمترین گسترش حالتی است که شرط‌های موجود در بدنه بند، توانمندی "نقیض فرمول اتمی بودن" را نیز دارند. زبان‌های برنامه‌نویسی منطقی که شامل این گسترش هستند،
برنامه‌نویسی منطقی که شامل این گسترش هستند، توانمندی‌های نمایش دانش را برای منطق غیریکنواخت دارند. در ASP و Dataloog، برنامه‌های منطقی را فقط به صورت اعلانی می‌توان خواند، و اجرایشان توسط فرایند اثبات، یا مولد مدل انجام می‌شود، که این رفتار در آن‌ها توسط برنامه‌نویس قابل کنترل نیست. با این حال در خانواده پرولوگ از زبان‌ها، برنامه‌های منطقی یک تفسیر رویه‌ای هم وجود دارد، که به صورت «رویه‌های کاهش هدف» است: to solve H, solve B1, and … and solve Bn. بند زیر را به عنوان یک مثال در نظر بگیرید: fallible(X) :-
را به عنوان یک مثال در نظر بگیرید: fallible(X) :- human(X). که بر اساس مثالی از آقای است، و هدفش توضیح زبان برنامه‌نویسی پلانر است. به عنوان یک بند در برنامه منطقی، از آن هم به عنوان «یک روند برای آزمون آنکه آیا X خطاپذیر است، توسط آزمون آنکه X انسان است استفاده می‌شود»، و هم به صورت «رویه یافتن یک X که خطاپذیر است، از طریق یافتن یک X که انسان است» به کار می‌رود. حتی واقعیت‌ها هم تفسیر رویه‌ای دارند. برای مثال، بند: human(socrates). هم قابلیت استفاده به صورت رویه‌ای برای نشان دادن آنکه سقراط انسان است، و
رویه‌ای برای نشان دادن آنکه سقراط انسان است، و هم به صورت رویه‌ای برای یافتن یک X که انسان است، با «انتساب» سقراط به X به کار می‌رود. یک برنامه‌نویس می‌تواند برنامه‌های منطقی را به صورت اعلانی بخواند تا صحت آن را راستی‌آزمایی کند. بعلاوه، فنون تبدیل برنامه مبتنی بر منطق، را می‌توان استفاده کرد تا برنامه‌های منطقی را به برنامه‌های معادل منطقی که کاراتر هستند تبدیل کرد. در خانواده زبان‌های برنامه‌نویسی منطقی مبتنی بر پرولوگ، برنامه‌نویس می‌تواند از «رفتار حل مسئله شناخته شده سازوکار اجرایی» استفاده کند تا
مسئله شناخته شده سازوکار اجرایی» استفاده کند تا کارایی برنامه‌ها را بهبود بدهد. تاریخچه. استفاده از منطق ریاضی برای نمایش و اجرای برنامه‌های رایانه‌ای اولین بار در دهه ۱۹۳۰ توسط آلونزو چرچ صورت گرفت. مفاهیم. منطق و کنترل. برنامه‌نویسی منطقی را می‌توان به صورت «استنتاج کنترل‌شده» نگریست. یک مفهوم مهم در برنامه‌نویسی منطقی، جداسازی برنامه‌ها به «مولفهٔ منطقی» و «مولفهٔ کنترلی» است. در زبان‌های برنامه‌نویسی منطقی محض، «فقط» مولفه منطقی جواب‌های تولید شده را تعیین می‌کند. اما مولفه کنترلی برای ایجاد روش‌های
تعیین می‌کند. اما مولفه کنترلی برای ایجاد روش‌های متمایز اجرای یک برنامه منطقی قابل تغییر است. این مفهوم توسط این شعار قابل بیان است: الگوریتم = منطق + کنترل که در آن «منطق» نمایش‌دهنده یک برنامه منطقی است، و «کنترل» نمایش‌دهنده راهکارهای اثبات قضیه مختلف است. اثبات مسئله. در حالت ساده و گزاره‌ای، که در آن برنامه منطقی و هدف اتمی سطح بالا، هیچ متغیری ندارند، استدلال پس‌گرد تعیین‌کننده یک درخت and-or است، که یک فضای جستجو را برای حل هدف می‌سازد. هدف سطح بالا همان ریشه درخت است. برای هر گره از درخت و هر بند
همان ریشه درخت است. برای هر گره از درخت و هر بند که سر آن با آن گره منطبق است، یک مجموعه از گره‌های فرزند وجود دارد که متناظر با زیر هدف‌های موجود در بدنه بند هستند. این گره‌های فرزند توسط یک «and» با هم گروهبندی می‌شوند. مجموعه‌های جایگزین از فرزندان که متناظر با راه‌های جایگزین برای آن حل گره‌اند، توسط یک «or» با هم گروهبندی می‌شوند. از هر راهکار جستجو ای برای جستجوی این فضا می‌توان استفاده کرد. پرولوگ از راهکار پس‌گرد، ورودی آخر-خروجی اول و ترتیبی استفاده می‌کند، که در آن در هر لحظه فقط یک جایگزین و یک
می‌کند، که در آن در هر لحظه فقط یک جایگزین و یک زیر هدف در هر زمان درنظر گرفته می‌شود. در دیگر راهکارهای جستجو، مثل جستجوی موازی، پس‌گرد هوشمند، یا جستجوی بهترین-اول برای یافتن یک جواب بهینه، هم ممکن هستند. در حالت عمومی تر، که در آن زیر هدف‌ها متغیر را به اشتراک می‌گذارند، راهکارهای دیگری را می‌توان استفاده کرد، مثلاً زیر هدفی را انتخاب کرد که بیشترین نمونه‌برداری را دارد، یا به اندازه کافی نمونه‌برداری شده‌است که فقط یک رویه را اعمال کند. از این راهکارها مثلاً در برنامه‌نویسی منطقی همزمان استفاده می‌شود.
در برنامه‌نویسی منطقی همزمان استفاده می‌شود. نقیض به عنوان شکست. برای بیشتر کاربردهای عملی، مثل کاربردهایی که نیاز به استدلال غیریکنواخت در هوش مصنوعی دارند، برنامه‌های منطقی بند هورن را باید به برنامه‌های منطقی نرمال گسترش داد، که در آن شرایط منفی وجود دارد. یک بند در برنامه منطقی نرمال این فرم را دارد: H :- A1, …, An, not B1, …, not Bn. و به صورت اعلانی به صورت یک پیامد منطقی خوانده می‌شود: H if A1 and … and An and not B1 and … and not Bn. که در آن H و همه Ai‌ها و Bi‌ها فرمول اتمی هستند. نقیض موجود در
همه Ai‌ها و Bi‌ها فرمول اتمی هستند. نقیض موجود در لیترال‌های منفی not Bi به صورت معمول به صورت «نقیض به عنوان شکست » گفته می‌شود، زیرا در بیشتر پیاده‌سازی‌ها یک شرط منفی not Bi را با نشان دادن آنکه شرط مثبت Bi شکست می‌خورد نشان می‌دهند. برای مثال: canfly(X) :- bird(X), not abnormal(X). abnormal(X) :- wounded(X). bird(john). bird(mary). wounded(john). و با هدف معین یافتن چیزی که بتواند پرواز کند: دو جواب نامزد وجود دارد که زیر هدف اول یعنی bird(X) را حل می‌کند، که X = john و X = mary هستند. دومین زیر هدف
که X = john و X = mary هستند. دومین زیر هدف not abnormal(john) از راه‌حل نامزد اول شکست می‌خورد، زیرا wounded(john) پیروز می‌شود، و از این رو abnormal(john) پیروز می‌شود. با این حال، زیر هدف دومی not abnormal(mary) از راه‌حل نامزد دومی پیروز می‌شود، زیرا wounded(mary) شکست می‌خورد، و از این رو abnormal(mary) شکست می‌خورد. از این رو، X = mary تنها جواب برای هدف است. زبان میکروپلنر، یک ساختار به نام "thnot" دارد، که موقعی که به یک عبارت اعمال شود، مقدار درست را فقط (و فقط) وقتی برمی‌گرداند که ارزیابی عبارت
را فقط (و فقط) وقتی برمی‌گرداند که ارزیابی عبارت شکست بخورد. یک عملگر معادل معمولاً در پیاده‌سازی‌های مدرن پرولوگ وجود دارد. این عملگر معمولاً به صورت codice_1 یا &lt;bdi&gt;codice_2&lt;/bdi&gt;نوشته می‌شود، که در آن codice_3 یک هدف (گزاره) است که باید توسط برنامه اثبات شود. این عملگر با نقیض در منطق مرتبه اول متفاوت است: یک نقیض مثل &lt;bdi&gt;codice_4&lt;/bdi&gt; موقعی که متغیر codice_5 به اتم codice_6 انتساب یافته باشد، شکست می‌خورد، اما در همه حالت‌های دیگر پیروز می‌شود، که این شامل حالتی است که
دیگر پیروز می‌شود، که این شامل حالتی است که codice_5 انتسابی نداشته باشد. این موضوع استدلال پرولوگ را غیریکنواخت می‌کند: &lt;bdi&gt;codice_8&lt;/bdi&gt; همیشه شکست می‌خورد اما، عبارت &lt;bdi&gt;codice_9&lt;/bdi&gt; می‌تواند پیروز شود، اگر codice_5 را به codice_6 انتساب دهیم، بسته به آنکه آیا codice_5 از اول انتسابی داشته‌است یا نه (توجه کنید که پرولوگ استاندارد هدف‌ها را به ترتیب چپ-به-راست اجرا می‌کند). وضعیت منطقی نقیض به صورت شکست تا زمان (۱۹۷۸) حل نشده بود، که او نشان داد که تحت شرایط طبیعی معین، یک
بود، که او نشان داد که تحت شرایط طبیعی معین، یک پیاده‌سازی درست (و گاهی کامل) از نقیض کلاسیک، در رابطه با کامل بودن برنامه، است. کامل بودن تقریباً به درنظر گرفتن مجموعه همه بندهای برنامه با یک گزاره مشابه در سمت چپ می‌رسد، اگر بگوییم: به عنوان تعریفی از گزاره‌ی: H iff (Body1 or … or Bodyk) که در آن "iff" یعنی "اگر و فقط اگر". نوشتن کامل‌بودن نیاز به استفاده صریح از گزاره تساوی و نیز شمول یک مجموعه از اتم‌های مناسب برای تساوی دارد. با این حال، پیاده‌سازی "نقیض به عنوان شکست" تنها نیاز به نیمه‌های-if از
"نقیض به عنوان شکست" تنها نیاز به نیمه‌های-if از تعاریف، بدون اتم‌های تساوی دارد. برای مثال مکمل برنامه بالا به این صورت است: مفهوم کامل بودن در بالا، به معناشناسی مک‌کارتی برای استدلال پیش‌فرض، و نیز به ، بسیار مرتبط است. به عنوان یک جایگزین برای معناشناسی کامل‌بودن، «نقیض به عنوان شکست» را می‌توان به صورت معرفتی تفسیر کرد، که این موضوع در برای برنامه‌نویسی مجموعه جواب وجود دارد. در این تفسیر، عبارت not(Bi) به صورت لیترالی، یعنی که Bi را نمی‌دانیم یا به آن عقیده نداریم. «تفسیر معرفتی» این مزیت را دارد که
عقیده نداریم. «تفسیر معرفتی» این مزیت را دارد که توانایی ترکیب بسیار ساده با نقیض کلاسیک را دارد، این موضوع در «برنامه‌نویسی منطقی گسترش‌یافته» برای صوری‌سازی عباراتی مثل «ضد را نمی‌توان نشان دارد» وجود دارد، که در آن «ضد» همان نقیض کلاسیک، و «را نمی‌توان نشان داد» تفسیر معرفتی از نقیض به صورت شکست است. نمایش دانش. این واقعیت که «می‌توان به بندهای هورن یک تفسیر رویه‌ای داد»، و برعکس این موضوع که «رویه‌های کاهش هدف را می‌توان به صورت بند هورن + استدلال پس‌گرد شناخت»، یعنی برنامه‌های منطقی نمایش‌های رویه‌ای
شناخت»، یعنی برنامه‌های منطقی نمایش‌های رویه‌ای و اعلانی از دانش را ترکیب کرده‌اند. شمول «نقیض به عنوان شکست» یعنی برنامه‌نویسی منطقی نوعی منطق غیریکنواخت است. علیرغم سادگی، در مقایسه با منطق کلاسیک، این موضوع ثابت شده‌است که این ترکیب بند هورن با «نقیض به صورت شکست» به طرز شگفت‌آوری گویا و رسا است. برای مثال، یک نمایش طبیعی برای قوانین، حس عام «دلیل» و «تأثیر» ایجاد می‌کند، که هم به صورت و هم به صورت صوری‌سازی شده‌است. نشان داده شده‌است که به صورت کاملاً طبیعی با زبان نیمه صوری قانون‌گذاری متناظر است.
طبیعی با زبان نیمه صوری قانون‌گذاری متناظر است. به‌خصوص پراکن و سارتور نمایش British Nationality Act را به صورت یک برنامه منطقی اعتبار دادند، که در آن «نفوذ بزرگی برای توسعه نمایش‌های محاسباتی قانون‌گذاری بود، که نشان می‌داد که چگونه برنامه‌نویسی منطقی امکان ایجاد نمایش‌های جذاب بصری را می‌داد، که برای ایجاد استدلال‌های خودکار قابل استقرار مستقیم بود».
فرح نوتاش: (متولد۱۳۲۰ٍ) هنرمند نگارگر، تندیس‌ساز، سفال‌گر و آبگینه‌کار است. زندگی‌نامه. او زادهٔ تهران با پیشینه خانوادگی آذری است. در نوباوگی هنگامیکه هنوز بیش از دو سال و اندی نداشت مادر خود را از دست داد و شاید که از این بی مادری دخترک خردسال بسوی هنر کشیده شد. نخست او با گل باغچه از ریخت‌هایی که روزمره در هر سوی خویش می‌دید تندیس‌های کودکانه می‌ساخت و رفته رفته به نگاره گری و آواز و دست افشانی نیز روی آورد. وراکه در نوجوانی با آشفتگی‌های رانش خودکامگی، در هنگامان شاهنشاهی رو در رو شد. ستم خودکامگی به
در هنگامان شاهنشاهی رو در رو شد. ستم خودکامگی به ویژه گریبانگیر خانوادهٔ نوتاش شد وتنی چند از بستگان فرح را در زندان به بند کشیدند واین روان ناک پذیرش را آزرده و آسیمه کرد… و هنوز از این آسیب رهایی نگرفته که دارایی‌های خانواده ش که نوای روزانهٔ آنان را سبب می‌بود به کیفر گرفتند واین کیفر به بی نوا یی، تلخ یادی شد که همیشه با او ماند. فرح در سال ۱۳۴۶ رهسپار لندن می‌شود و در هنر کدهٔ سرجان کاس به فراگیری چم‌های هنری می‌پردازد. سپس در سال ۱۳۵۳ آموزش خود را نخست در دانشکده هنرهای اخن –المان و سرانجام در ۱۳۵۷
در دانشکده هنرهای اخن –المان و سرانجام در ۱۳۵۷ دردانشکده هنری فلورانس دنبال می‌کند. نوتاش بدون هراس با ماته‌های گوناگون کار می‌کند. برای نمونه، او ماته‌هایی همچون چوب، سفال، برنز، گچ و سنگ را در تندیس‌هایش و آبرنگ، رنگ روغن و اکرلیک را در نگاره‌هایش، با هم افزایی هر چیز دیگر مانند آیینه و سفال و دیگرگ‌ها، به کار می‌برد. و به هر بنیان، او هر ماته را با انگیزهٔ زیباشناسی و اینکه چه نودی را به بیننده فرا می‌رساند، برمی‌گزیند. در اندیش گری کارهایش پیرو شدا-نگاری همگانه گری social realist است. با این روی،
همگانه گری social realist است. با این روی، پرده‌هایش از سبکهای کهن تا سبگهای نوآورانه دامنه دارند و پرده‌هایش گستره‌ای از دیدسارها landscapes، و چهره‌نگارها را می‌پوشاند. اگر چه او بیشتر با کارهای فراگسیخت abstract دههٔ. ۱۳۵ خود شناخته می‌شود، که در این پرده‌ها او تن خویش را با رنگ می‌پوشاند و سپس بر پرده می‌چسباند. خوشبختانه او این سبک را که در اندک هنگام به بن‌بست رسید به کنار گذاشت و در دهه‌های پسین به اندیشارهای فرهودهٔ مردمی روی آورد.
برنامه‌نویسی پروسه‌ای یا برنامه‌نویسی رویه‌ای یک پارادایم برنامه‌نویسی بر پایه مفهوم فراخوانی پروسه‌ها است. پروسه که همچنین به نام‌های روال، زیرروال (ساب‌روتین)، تابع، روش شناخته می‌شود، دربردارنده یک سری گام‌های محاسباتی است که باید توسط رایانه اجرا شوند. هر پروسه می‌تواند در هر نقطه‌ای در طول اجرای برنامه فراخوانده شود شامل فراخوانی پروسه توسط خودش (برنامه‌نویسی بازگشتی) یا پروسه‌های دیگر.
پارادایم‌های برنامه‌نویسی ، روش‌های دسته‌بندی زبان‌های برنامه‌نویسی براساس ویژگی‌هایشان است. زبان‌ها را می‌توان به چندین پارادایم دسته‌بندی نمود. دغدغه اصلی برخی از پارادایم‌ها عمدتاً مربوط به پیامدهای مدل اجرایی زبان است، همچون این که آیا اثرات جانبی مجاز باشند یا آیا دنباله ای از عملیات توسط مدل اجرایی تعریف شده‌است یا خیر. پارادایم‌های دیگر عمدتاً با راه‌های سازماندهی کد چون دسته‌بندی یک کد به واحدهای مختلف و تغییرات کد بر روی هر کدام از این واحدها می‌پردازند. پارادایم‌های دیگری نیز وجود دارند که عمدتاً
پارادایم‌های دیگری نیز وجود دارند که عمدتاً دغدغه‌ آنها سبک، نحو و گرامر زبان هاست. پارادایم‌های برنامه‌نویسی نه تنها بر ساختار و اجرای کد تأثیر می‌گذارند، بلکه رویکرد توسعه‌دهندگان در حل مسائل و طراحی نرم‌افزار را نیز شکل می‌دهند. برای مثال، پارادایم برنامه‌نویسی شی‌گرا (OOP) بر مفاهیمی مانند کلاس، شیء، وراثت و چندریختی تأکید دارد و به توسعه‌دهندگان کمک می‌کند تا سیستم‌های پیچیده را به بخش‌های کوچک‌تر و مدیریت‌پذیر تقسیم کنند. از سوی دیگر، پارادایم برنامه‌نویسی تابعی (Functional Programming) با تمرکز بر
تابعی (Functional Programming) با تمرکز بر توابع خالص و عدم تغییرپذیری داده‌ها، امکان نوشتن کدهایی با قابلیت اطمینان بالا و خطای کمتر را فراهم می‌کند. انتخاب پارادایم مناسب به نیازهای پروژه، مقیاس‌پذیری و ترجیحات تیم توسعه بستگی دارد و درک عمیق این مفاهیم به برنامه‌نویسان کمک می‌کند تا ابزارهای مناسبی برای حل مسائل پیچیده انتخاب کنند. پارادایم‌های برنامه‌نویسی رایج شامل این مواردند: مرور کلی. یک زبان برنامه‌نویسی ممکن است یک یا چند پارادایم برنامه‌نویسی را پشتیبانی نماید. برای مثال، برنامه‌های نوشته شده با
نماید. برای مثال، برنامه‌های نوشته شده با سی++ می‌توانند کاملاً به صورت رویه‌ای باشند یا کاملاً منطبق بر پارادایم برنامه‌نویسی شئ‌گرا که در تضاد کامل با پارادایم "رویه‌ای" بوده یا حتی حاوی عناصری از هر دو پارادایم باشند. تصمیم‌گیری برای چگونگی استفاده از عناصر پارادایم‌های برنامه‌نویسی برعهده طراح برنامه یا برنامه‌نویس می‌باشد.