Pierre Carbonnelle avatar Pierre Carbonnelle committed 0880c4b

pred.db should be an OrderedDict too. Prepend clauses at creation.

Comments (0)

Files changed (1)


                 words = pred_name.split(']')
                 o.comparison = words[1] if 1 < len(words) else '' # for f[X]<Y
-                o.db = {}
+                o.db = OrderedDict()
                 o.clauses = OrderedDict()
                 # one index per term. An index is a dictionary of sets
                 o.index = [{} for i in range(int(o.arity))]
         del Logic.tl.logic.Db[pred.id]
     return pred
+def preadd(dictionary, key, value):
+    old_items = list(dictionary.items())
+    dictionary.clear()
+    dictionary[key] = value
+    dictionary.update(old_items)
 def assert_(clause):
     """ Add a safe clause to the database """
         if pred.aggregate and id_ in pred.db:
             raise util.DatalogError("Error: Duplicate definition of aggregate function.", None, None)
         retract(clause) # to ensure unicity of functions
-        pred.db[id_] = clause
+        preadd(pred.db, id_, clause) # pred.db[id_] = clause
         if not clause.body: # if it is a fact, update indexes
             for i, term in enumerate(clause.head.terms):
                 clauses = pred.index[i].setdefault(term, set()) # create a set if needed
-            pred.clauses[id_] = clause
+            preadd(pred.clauses, id_, clause) # pred.clauses[id_] = clause
     return clause
     if result == None: # no constants found
         return list(literal.pred.db.values())
-        #result= [ literal.pred.db[id_] for id_ in result ] + [ literal.pred.db[id_] for id_ in literal.pred.clauses]
-        return list(result) + list(reversed(list(literal.pred.clauses.values())))
+        return list(result) + list(literal.pred.clauses.values())
 The remaining functions in this file implement the tabled logic
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.