run abstract method

void run()

Runs the Datalog program to compute derived facts.

Implementation

void run();