logic programming
🌐 برنامهنویسی منطقی
دیکشنری انگلیسی به فارسی
📌 مطالعه یا پیادهسازی برنامههای کامپیوتری که قادر به کشف یا بررسی اثبات عبارات یا بخشهای رسمی هستند
جمله سازی با logic programming
جملات نمونه از منابع مختلف جمع آوری شده است، اگر صحیح نیست یا توهین آمیز است، لطفا گزارش دهید.
💡 We were both interested in language when we met: digital communication systems, logic, programming.
وقتی همدیگر را ملاقات کردیم، هر دو به زبان علاقهمند بودیم: سیستمهای ارتباطی دیجیتال، منطق، برنامهنویسی.
💡 We prototyped rules in logic programming, letting a solver explore constraints students hadn’t considered.
ما قوانین برنامهنویسی منطقی را به صورت نمونه اولیه ساختیم و به حلکننده اجازه دادیم محدودیتهایی را که دانشآموزان در نظر نگرفته بودند، بررسی کند.
💡 Teaching logic programming alongside databases reveals shared DNA: facts, queries, and surprisingly elegant inference.
آموزش برنامهنویسی منطقی در کنار پایگاههای داده، DNA مشترک را آشکار میکند: حقایق، پرسوجوها و استنتاج شگفتانگیز و ظریف.
💡 In logic programming, you declare relationships, and the engine searches possibilities, a refreshing inversion for minds tired of step-by-step recipes.
در برنامهنویسی منطقی، شما روابط را تعریف میکنید و موتور به دنبال احتمالات میگردد، یک وارونگی دلچسب برای ذهنهای خسته از دستورالعملهای گام به گام.
