أخطاء أساسية في برمجة المنطق القانوني

أصبح من الشائع رؤية ادعاءات كبيرة تُثار حول فائدة برمجة المنطق – خاصة تلك القائمة على لغة البرمجة PROLOG – سواء كلغة برمجة فعّالة أو كلغة تتيح فرصًا جديدة لتطبيق علوم الحاسوب في مجالات مبتكرة. من الأمثلة على الأخير الادعاء الذي قدمه فريق في إمبريال كوليدج بلندن بأنه قد صاغ بشكل جزئي قانون الجنسية البريطاني لعام 1981. أقوم بتحليل هذا الادعاء وأقترح أن لدى الفريق رؤية مشوشة للعملية القانونية وللفائدة العملية لبرمجة المنطق في هذا المجال، وأقترح أن هذه النظرة غير الصحيحة قد تسود مجالات أخرى يزعم الفريق نجاحه فيها. في الواقع، أرغب في مناقشة قوة برمجة المنطق.