أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

__    __   _    _     _____      ___              
\ \\ / // | || | ||  / ____||   / _ \\      ___   
 \ \/ //  | || | || / //---`'  | / \ ||    /   || 
  \  //   | \\_/ || \ \\___    | \_/ ||   | [] || 
   \//     \____//   \_____||   \___//     \__ || 
    `       `---`     `----`    `---`       -|_|| 
                                             `-`

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: Preservation of integrity constraints in definite DATALOG programs