From e5fc523d920361c8d24759832def1ceac0413571 Mon Sep 17 00:00:00 2001
From: Felix Dilke <felix.dilke@obsidian.systems>
Date: Wed, 28 Jan 2026 10:06:40 +0000
Subject: [PATCH] still tidier, broken

---
 .../src/Datalog/NaiveDatabase.hs              | 20 +------------------
 1 file changed, 1 insertion(+), 19 deletions(-)

diff --git a/haskell-experiments/src/Datalog/NaiveDatabase.hs b/haskell-experiments/src/Datalog/NaiveDatabase.hs
index 5361918..264b17a 100644
--- a/haskell-experiments/src/Datalog/NaiveDatabase.hs
+++ b/haskell-experiments/src/Datalog/NaiveDatabase.hs
@@ -170,15 +170,7 @@ withFactsAndRules facts = foldr (addRule . extractRule) (withFacts facts)
     constraints = _bodyConstraints context
     newConstraint = BodyConstraint subRelation variables'
     constraints' = newConstraint : constraints
-    -- varIndex :: Text -> Int
-    -- varIndex name =
-    --   case elemIndex (RuleElementVariable name) variables' of
-    --     Just index -> index
-    --     Nothing -> throw $ VariableLookupException name variables'
-    -- toConstraint :: Term -> ConstraintElement
-    -- toConstraint (Var name) = ConstraintElementIndex (varIndex name)
-    -- toConstraint constant = ConstraintElementConstant constant
-  addRule :: (Literal, [Literal]) -> NaiveDatabase  ->NaiveDatabase
+  addRule :: (Literal, [Literal]) -> NaiveDatabase -> NaiveDatabase
   addRule (ruleHead, body) db  =
     NaiveDatabase relationMap' constants'
    where
@@ -190,10 +182,6 @@ withFactsAndRules facts = foldr (addRule . extractRule) (withFacts facts)
     context' = foldr digestBody context body
     db' = _db context'
     relationMap = relations db'
-    -- variables' = _headEntries context'
-    -- extractVarName :: RuleElement -> Maybe Text
-    -- extractVarName (RuleElementVariable varName) = Just varName
-    -- extractVarName (RuleElementConstant constant) = Nothing
     newRule =
       RelationRule
         { headVariables = _variableNames context'
@@ -205,9 +193,6 @@ withFactsAndRules facts = foldr (addRule . extractRule) (withFacts facts)
             _subRelationId = _name subRelation
             , _ruleElements = elements
             }
-      -- toRuleElement :: ConstraintElement -> RuleElement
-      -- toRuleElement (ConstraintElementConstant constant) = RuleElementConstant constant
-      -- toRuleElement (ConstraintElementIndex index) = variables' !! index
     relation' =
       Relation
         { _name = _name relation
@@ -217,9 +202,6 @@ withFactsAndRules facts = foldr (addRule . extractRule) (withFacts facts)
         }
     relationMap' = Map.insert relationName relation' relationMap
     constants' = constants db'
-  -- toElement :: Term -> RuleElement
-  -- toElement (Var name) = RuleElementVariable name
-  -- toElement constant = RuleElementConstant constant
   extractVariableNames :: [Term] -> [Text]
   extractVariableNames = mapMaybe extractVariableName where
     extractVariableName :: Term -> Maybe Text