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

slowly figuring out how to populate the herbrand

Browse Source
This commit is contained in:
Felix Dilke 2026-02-03 16:11:41 +00:00
parent ab610a6c78
commit a70cf1f6bf
1 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -19,6 +19,8 @@ import Data.Map qualified as Map
import Datalog.DatalogDB import Datalog.DatalogDB
import Datalog.DatalogParser import Datalog.DatalogParser
import Control.Exception import Control.Exception
import Data.Maybe
import Data.Functor ((<&>))
data (DatalogDB db) => NaiveQE db = NaiveQE data (DatalogDB db) => NaiveQE db = NaiveQE
{ {
@ -41,8 +43,16 @@ instance QueryEngine NaiveQE where
computeHerbrand :: (DatalogDB db) => db -> Map Text Relation computeHerbrand :: (DatalogDB db) => db -> Map Text Relation
computeHerbrand db = computeHerbrand db =
computeHerbrandSub Map.empty where computeHerbrandSub initialFacts where
initialFacts :: Map Text Relation =
Map.fromList $ catMaybes $ relationNames db <&> (\relationName -> do
relation <- lookupRelation db relationName
pure (relationName, relation))
updateFacts :: Map Text Relation -> Maybe (Map Text Relation)
updateFacts facts = Nothing -- Just facts
computeHerbrandSub :: Map Text Relation -> Map Text Relation computeHerbrandSub :: Map Text Relation -> Map Text Relation
computeHerbrandSub facts = facts computeHerbrandSub facts =
-- for_ (Map.toList myMap) $ \(k,v) -> case updateFacts facts of
Just moreFacts -> computeHerbrandSub moreFacts
Nothing -> facts