InMemoryDatalogEngine constructor

InMemoryDatalogEngine({
  1. int maxIterations = 100000,
})

Creates an in-memory Datalog engine.

maxIterations sets the limit before forced termination. Default is 100000 which is sufficient for most programs.

Implementation

InMemoryDatalogEngine({this.maxIterations = 100000});