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

herbrand 2

Browse Source
This commit is contained in:
Felix Dilke 2026-02-03 18:29:38 +00:00
parent 4a9782c9c1
commit 593da2abb5
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
haskell-experiments/src/Datalog/NaiveQE.hs
View File

@ -52,7 +52,11 @@ computeHerbrand db =
if changed then Just newFacts else Nothing where if changed then Just newFacts else Nothing where
(newFacts, changed) = foldr amalgamateRelation (facts, False) allRelationNames (newFacts, changed) = foldr amalgamateRelation (facts, False) allRelationNames
amalgamateRelation :: Text -> NewFacts -> NewFacts amalgamateRelation :: Text -> NewFacts -> NewFacts
amalgamateRelation relationName newFacts = newFacts amalgamateRelation relationName newFacts =
maybe newFacts (amalgamateRelationSub newFacts) $ lookupRelation db relationName
amalgamateRelationSub :: NewFacts -> Relation -> NewFacts
amalgamateRelationSub newFacts relation =
newFacts
computeHerbrandSub :: Map Text Relation -> Map Text Relation computeHerbrandSub :: Map Text Relation -> Map Text Relation
computeHerbrandSub facts = computeHerbrandSub facts =
maybe facts computeHerbrandSub (updateFacts facts) maybe facts computeHerbrandSub (updateFacts facts)