diff --git a/haskell-experiments/src/Datalog/NaiveQE.hs b/haskell-experiments/src/Datalog/NaiveQE.hs
index f91e9c4..19ce12e 100644
--- a/haskell-experiments/src/Datalog/NaiveQE.hs
+++ b/haskell-experiments/src/Datalog/NaiveQE.hs
@@ -57,7 +57,10 @@ computeHerbrand db =
       maybe newFacts (amalgamateRelationSub newFacts) $ lookupRelation db relationName
     amalgamateRelationSub :: NewFacts -> Relation -> NewFacts
     amalgamateRelationSub newFacts relation = 
-      newFacts
+      foldr amalgamateRule newFacts (_rules relation) where
+      amalgamateRule :: RelationRule -> NewFacts -> NewFacts
+      amalgamateRule rule newFacts  = 
+        newFacts
     computeHerbrandSub :: Map Text Relation -> Map Text Relation
     computeHerbrandSub facts = 
       maybe facts computeHerbrandSub (updateFacts facts)