Key points are not available for this paper at this time.
أظهرت الأبحاث الحديثة حول برامج الحاسوب الرقمية التي تهدف إلى اكتشاف براهين للنظريات في المنطق الرمزي ولعب الشطرنج الرغبة في لغات تتكيف بشكل أفضل مع متطلبات مثل هذه المهام البرمجية غير العددية مقارنةً باللغات الآلية الحالية. تم وصف هيكل قيادة يسمح بمزيد من التورية في البرمجة ويتطلب معرفة أقل بمكان البيانات وشكلها. (المؤلف)
درس شاو وآخرون هذا السؤال.