fdilke/pyrites
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

simplified addRule

Browse Source
This commit is contained in:
Felix Dilke 2026-01-30 14:28:51 +00:00
parent 2f911a9f39
commit b816bb4cae
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
haskell-experiments/src/Datalog/NaiveDatabase.hs
View File

@ -53,7 +53,8 @@ instance DatalogDB NaiveDatabase where
addRule :: (Literal, [Literal]) -> NaiveDatabase -> NaiveDatabase addRule :: (Literal, [Literal]) -> NaiveDatabase -> NaiveDatabase
addRule (ruleHead, body) db = addRule (ruleHead, body) db =
NaiveDatabase relationMap' constants' where insertRelation db' newRelation
where
relationName = predName ruleHead relationName = predName ruleHead
terms = arguments ruleHead terms = arguments ruleHead
newArity = length terms newArity = length terms
@ -61,13 +62,10 @@ instance DatalogDB NaiveDatabase where
context = digestHead db relation ruleHead context = digestHead db relation ruleHead
context' = foldr digestBody context body context' = foldr digestBody context body
db' = _db context' db' = _db context'
relationMap = relations db' newRelation = appendRule relation RelationRule {
relation' = appendRule relation RelationRule {
headVariables = _variableNames context' headVariables = _variableNames context'
, bodyElements = toRuleBodyElement <$> _bodyConstraints context' , bodyElements = toRuleBodyElement <$> _bodyConstraints context'
} }
relationMap' = Map.insert relationName relation' relationMap
constants' = constants db'
addConstants :: NaiveDatabase -> Set Constant -> NaiveDatabase addConstants :: NaiveDatabase -> Set Constant -> NaiveDatabase
addConstants db newConstants = addConstants db newConstants =