From b982072281199e33b5ff1b58ec6c31bd9b028d50 Mon Sep 17 00:00:00 2001 From: Felix Dilke Date: Tue, 27 Jan 2026 16:19:00 +0000 Subject: [PATCH] minor tidyings --- haskell-experiments/src/Datalog/NaiveDatabase.hs | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/haskell-experiments/src/Datalog/NaiveDatabase.hs b/haskell-experiments/src/Datalog/NaiveDatabase.hs index 75ecd77..8776d81 100644 --- a/haskell-experiments/src/Datalog/NaiveDatabase.hs +++ b/haskell-experiments/src/Datalog/NaiveDatabase.hs @@ -100,17 +100,12 @@ data BodyConstraint = BodyConstraint { data RuleContext = RuleContext { __relation :: Relation, + -- _variableNames :: [Text], _headVariables :: [RuleElement], _bodyConstraints :: [BodyConstraint], _db :: NaiveDatabase } -toElement :: Term -> RuleElement --- toElement constant@(Var _) = RuleElementConstant constant --- toElement constant@(Num _) = RuleElementConstant constant -toElement (Var name) = RuleElementVariable name -toElement constant = RuleElementConstant constant - maybeConstant :: RuleElement -> Maybe Constant maybeConstant (RuleElementConstant constant) = Just constant maybeConstant _ = Nothing @@ -202,6 +197,9 @@ withFactsAndRules facts rules = } newRelationMap = Map.insert relationName relation' relationMap constants' = constants db' + toElement :: Term -> RuleElement + toElement (Var name) = RuleElementVariable name + toElement constant = RuleElementConstant constant query :: NaiveDatabase -> Text -> Text query db qText =