مراجعة شاملة حول المنطق التوافقي