عرض مصطلح معلوماتية

برمجةٌ استدلالية | inference programming

طريقةُ برمجةٍ (كما في Prolog) تعطي فيها البرامجُ النتائجَ اعتماداً على الاستدلال المنطقي انطلاقاً من مجموعة حقائق وقواعد.