menu
anteater package
documentation
reasoner/datalog/datalog_engine.dart
DatalogEngine
loadFacts abstract method
loadFacts abstract method
dark_mode
light_mode
loadFacts
abstract method
void
loadFacts
(
List
<
Fact
>
facts
)
Loads facts into the engine.
Implementation
void loadFacts(List<Fact> facts);
anteater package
documentation
reasoner/datalog/datalog_engine
DatalogEngine
loadFacts abstract method
DatalogEngine class