برنامه‌نویسی منطقی: تفاوت میان نسخه‌ها

علیرغم سادگی، در مقایسه با منطق کلاسیک، این موضوع ثابت شده‌است که این ترکیب بند هورن با «نقیض به صورت شکست» به طرز شگفت‌آوری گویا و رسا است. برای مثال، یک نمایش طبیعی برای قوانین، حس عام «دلیل» و «تأثیر» ایجاد می‌کند، که هم به صورت [[:en:Situation_calculus|حساب وضعیت]] و هم به صورت [[:en:Event_calculus|حساب واقعه]] صوری‌سازی شده‌است. نشان داده شده‌است که به صورت کاملاً طبیعی با زبان نیمه صوری قانون‌گذاری متناظر است. بخصوص پراکن و سارتور<ref>Prakken, H. and Sartor, G. , 2015. [http://www.cs.uu.nl/groups/IS/archive/henry/ReviewLogicAndLawRevised.pdf Law and logic: a review from an argumentation perspective] {{Webarchive|url=https://web.archive.org/web/20200927110804/http://www.cs.uu.nl/groups/IS/archive/henry/ReviewLogicAndLawRevised.pdf |date=27 سپتامبر 2020 }}. Artificial Intelligence, 227, 214–245.</ref> نمایش British Nationality Act را به صورت یک برنامه منطقی اعتبار دادند، که در آن «نفوذ بزرگی برای توسعه نمایش‌های محاسباتی قانون‌گذاری بود، که نشان می‌داد که چگونه برنامه‌نویسی منطقی امکان ایجاد نمایش‌های جذاب بصری را می‌داد، که برای ایجاد استدلال‌های خودکار قابل استقرار مستقیم بود».