datalog_atom.hpp File Reference

A Datalog atom: a predicate name plus a tuple of terms, no function symbols. Phase 3 Mission 0 of campaign_exai_dl_library_neuro_symbolic (Datalog core). More...

#include <cstddef>
#include <string>
#include <vector>
#include "pulsatrix/datalog_term.hpp"

Include dependency graph for datalog_atom.hpp:

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

Go to the source code of this file.

Classes
class	pulsatrix::datalog::Atom
	An atom is a predicate name applied to a tuple of Terms, e.g. edge(a, b) or ancestor(X, Y) – never a nested/compound structure, since Term itself cannot nest (see datalog_term.hpp). More...
struct	pulsatrix::datalog::AtomHash
	Hash functor for Atom, for use in std::unordered_map/std::unordered_set. More...

Namespaces
namespace	pulsatrix
namespace	pulsatrix::datalog

Detailed Description

A Datalog atom: a predicate name plus a tuple of terms, no function symbols. Phase 3 Mission 0 of campaign_exai_dl_library_neuro_symbolic (Datalog core).