أرسل هذا في رسالة قصيرة: Automated Validation Of Software Product Lines Using First Order Logic Rules