menu
anteater package
documentation
reasoner/datalog/datalog_engine.dart
InMemoryDatalogEngine
addRule method
addRule method
dark_mode
light_mode
addRule
method
void
addRule
(
DatalogRule
rule
)
Adds a rule to the engine.
Implementation
void addRule(DatalogRule rule) { _rules.add(rule); }
anteater package
documentation
reasoner/datalog/datalog_engine
InMemoryDatalogEngine
addRule method
InMemoryDatalogEngine class