A Datalog rule: head :- body1, body2, ..., range-restricted (safe) by construction. Phase 3 Mission 0 of campaign_exai_dl_library_neuro_symbolic (Datalog core). More...

#include <vector>
#include "pulsatrix/datalog_atom.hpp"

Include dependency graph for datalog_rule.hpp:

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

Go to the source code of this file.

Classes
class	pulsatrix::datalog::Rule
	A rule: a head atom entailed whenever every body atom is simultaneously satisfiable under one consistent variable substitution. More...

Namespaces
namespace	pulsatrix

namespace	pulsatrix::datalog

Detailed Description

A Datalog rule: head :- body1, body2, ..., range-restricted (safe) by construction. Phase 3 Mission 0 of campaign_exai_dl_library_neuro_symbolic (Datalog core).

Classes

Namespaces

Detailed Description