أرسل هذا في رسالة قصيرة: The dlv System: Model Generator and Advanced Frontends (system description)