لغة فعلية

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

ومن ناحية أخرى، تنقسم لغات الإجراء إلى فئتين: ولغات الإستعلام الإجرائي. تتضمن الأمثلة علي لغات وصف الإجراء و واللغة آيه (تعميم لـ ستريبس، جُزء مُقترح من قبل بيدنو ولغة وصف الإجراء) واللغة بي (امتداد للغة آيه لإضافة تأثيرات غير مباشرة وتمييز القوانين الثابتة والديناميكية) واللغة سي (تُضيف تأثيرات غير مباشرة كذلك، حيث أن كل عنصر يحتمل «القصور الذاتي» تلقائيًا). توجد كذلك لغات الاستعلام الإجرائي باي وكيو وآر. توجد عدة خوارزميات مختلفة لتحويل لغات الإجراء، وعلى وجه الخصوص، لغة الإجراء سي، العاملة بـ. نظرًا لأن أدوات البرمجة بمجموعة الإجابة تستعمل خوارزميات قابلية الإرضاء المنطقية للوصول لقابلية الإرضاء بسرعة كبيرة، فإن هذا يعني أن اللغات الإجرائية يمكن أن تستفيد كذلك بالتقدم الذي يتم إحرازه في مجال مسألة قابلية الإرضاء المنطقية.