pulsatrix/api/datalog__rule_8hpp_source.html

#pragma once


#include <vector>


#include "pulsatrix/datalog_atom.hpp"


namespace pulsatrix::datalog {


class Rule {

public:

    Rule(Atom head, std::vector<Atom> body);


    [[nodiscard]] const Atom& head() const { return head_; }

    [[nodiscard]] const std::vector<Atom>& body() const { return body_; }


private:

    Atom head_;

    std::vector<Atom> body_;

};


}  // namespace pulsatrix::datalog

pulsatrix::datalog::Atom
An atom is a predicate name applied to a tuple of Terms, e.g. edge(a, b) or ancestor(X,...
Definition datalog_atom.hpp:24

pulsatrix::datalog::Rule
A rule: a head atom entailed whenever every body atom is simultaneously satisfiable under one consist...
Definition datalog_rule.hpp:27

pulsatrix::datalog::Rule::Rule
Rule(Atom head, std::vector< Atom > body)
Constructs a rule.

pulsatrix::datalog::Rule::head
const Atom & head() const
Definition datalog_rule.hpp:36

pulsatrix::datalog::Rule::body
const std::vector< Atom > & body() const
Definition datalog_rule.hpp:37

datalog_atom.hpp
A Datalog atom: a predicate name plus a tuple of terms, no function symbols. Phase 3 Mission 0 of cam...

pulsatrix::datalog
Definition datalog_atom.hpp:14