pulsatrix
Loading...
Searching...
No Matches
datalog_engine.hpp
Go to the documentation of this file.
1
6#pragma once
7
8#include <vector>
9
10#include "pulsatrix/datalog_fact_database.hpp"
11#include "pulsatrix/datalog_rule.hpp"
12
13namespace pulsatrix::datalog {
14
30[[nodiscard]] FactDatabase naive_evaluate(const std::vector<Rule>& rules, const FactDatabase& initial_facts);
31
44[[nodiscard]] FactDatabase semi_naive_evaluate(const std::vector<Rule>& rules, const FactDatabase& initial_facts);
45
46} // namespace pulsatrix::datalog
pulsatrix::datalog::FactDatabase
A fact database: a set of ground atoms. Boolean semiring only (Mission 0's scope) – a fact is simply ...
Definition datalog_fact_database.hpp:23
datalog_fact_database.hpp
A set of ground (fully-constant) Datalog atoms. Phase 3 Mission 0 of campaign_exai_dl_library_neuro_s...
datalog_rule.hpp
A Datalog rule: head :- body1, body2, ..., range-restricted (safe) by construction....
pulsatrix::datalog
Definition datalog_atom.hpp:14
pulsatrix::datalog::semi_naive_evaluate
FactDatabase semi_naive_evaluate(const std::vector< Rule > &rules, const FactDatabase &initial_facts)
Semi-naive bottom-up fixpoint evaluation: each round only considers rule applications where at least ...
pulsatrix::datalog::naive_evaluate
FactDatabase naive_evaluate(const std::vector< Rule > &rules, const FactDatabase &initial_facts)
Naive bottom-up fixpoint evaluation: repeatedly re-evaluates every rule against the entire accumulate...