A set of ground (fully-constant) Datalog atoms. Phase 3 Mission 0 of campaign_exai_dl_library_neuro_symbolic (Datalog core). More...

#include <cstddef>
#include <unordered_set>
#include "pulsatrix/datalog_atom.hpp"

Include dependency graph for datalog_fact_database.hpp:

This graph shows which files directly or indirectly include this file:

Classes
class	pulsatrix::datalog::FactDatabase
	A fact database: a set of ground atoms. Boolean semiring only (Mission 0's scope) – a fact is simply present or absent, with no associated weight/provenance (Mission 1's scope). More...

Typedefs
using	pulsatrix::datalog::FactSet = std::unordered_set< Atom, AtomHash >
	The concrete set type a FactDatabase stores facts in and the engine derives into.

Detailed Description

A set of ground (fully-constant) Datalog atoms. Phase 3 Mission 0 of campaign_exai_dl_library_neuro_symbolic (Datalog core).

Classes