لا توجد تعريفات بديلة
نموذج لغوي يحل المشكلات بتوليد برامج تُعَدُّ خطوات وسيطة للاستدلال، وتفويض تنفيذها إلى بيئة تشغيل؛ للحصول على الإجابة النهائية.