الگوریتم زنجیره عقبگرد backward chaining برای کلازهای معین بیان شده اند و از هدف به عقب برمیگردند تا حقایق شناخته شده ای را پیدا کنند که اثبات را پشتیبانی میکنند. کاربرد این الگوریتم در برنامه نویسی منطقی است

قوانین استنتاج ارتقا یافته مستلزم یافتن جانشینی هایی است که موجب میشوند عبارات منطقی مختلف، یکسان به نظر برسند. این فرایند یکسان سازی نام دارد و عنصر اصلی الگوریتم های استنتاج مرتبه اول است.

پرولوگ Prolog پرکاربردترین زبان برنامه نویسی منطقی است. این زبان، ابتدا به عنوان زبان الگوسازی سریع و کارهای پردازش نمادها مثل نوشتن کامپایلر و ترجمه ی زبان های طبیعی به کار رفت

برنامه نویسی منطقی با محدودیت (Constraint Logic Programming ( CLP اجازه میدهد متغیرها به جای کران دار بودن محدودیت داشته باشند. جواب CLP مجموعه ی ویژه ای از محدودیت ها بر روی متغیرهای پرس وجو است که میتواند از پایگاه دانش به دست آید.

سومین خانواده سیستم های منطقی، مبتنی بر تحلیل است.کاربردهای تکراری قانون استنتاج تحلیل، در صورت وجود اثبات آن را می یابد. استراتژی های تحلیل مرتبه اول عبارتنداز: ترجیح واحد، مجموعه پشتیبان، تحلیل ورودی و راهبرد شمول.

منظور از برنامه ریزی در هوش مصنوعی تهیه مجموعه ای از فعالیت ها برای رسیدن به اهداف است. برنامه ریزی PDDL به مسئله هایی متمرکز میشود که در آنها اغلب فعالیت ها، اغلب چیزها را تغییر نمی دهند

مسئله ی برنامه ریزی، اینگونه یک مسئله جست وجو را تعریف می کند: میتوانیم فضای حالت را از حالت شروع برای یافتن هدف، جست وجو کنیم. یکی از امتیازات جالب نمایش اعلانی شِمای حالت این است که با شروع از هدف می توان به عقب جست وجو کرد، تا حالت شروع پیدا شود.

در جست وجوی عقبگرد از الگوریتم برنامه ریزی، از هدف شروع می کنیم و فعالیت ها را به طور منعکس اجرا میکنیم تا دنباله ای از مراحل را پیدا کنیم که ما را به حالت شروع می رساند. این روش، جست وجوی حالت های مرتبط نیز نامیده میشود، زیرا فقط فعالیت هایی را در نظر می گیریم که با هدف یا حالت فعلی مربوط می شوند.