datalog_term.hpp File Reference

Function-symbol-free Datalog term – a constant or a variable, never a compound term. Phase 3 Mission 0 of campaign_exai_dl_library_neuro_symbolic (Datalog core). More...

#include <cstddef>
#include <functional>
#include <string>

Include dependency graph for datalog_term.hpp:

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

Go to the source code of this file.

Classes
class	pulsatrix::datalog::Term
	A Datalog term: either a constant (e.g. a) or a variable (e.g. X) – never a compound/function-symbol term. More...
struct	pulsatrix::datalog::TermHash
	Hash functor for Term, for use in std::unordered_map/std::unordered_set. More...

Namespaces
namespace	pulsatrix
namespace	pulsatrix::datalog

Enumerations
enum class	pulsatrix::datalog::TermKind { pulsatrix::datalog::Constant , pulsatrix::datalog::Variable }
	Which of the two (and only two) term alternatives this Term is. More...

Detailed Description

Function-symbol-free Datalog term – a constant or a variable, never a compound term. Phase 3 Mission 0 of campaign_exai_dl_library_neuro_symbolic (Datalog core).