PrologEngine constructor

PrologEngine({
  1. Database? database,
  2. BuiltinRegistry? builtins,
  3. StreamManager? streamManager,
})

Creates a new Prolog engine.

Optionally accepts a custom database and built-in registry.

Implementation

factory PrologEngine({
  Database? database,
  BuiltinRegistry? builtins,
  StreamManager? streamManager,
}) {
  final db = database ?? Database();
  final sm = streamManager ?? StreamManager();
  final br =
      builtins ?? createStandardRegistry(streamManager: sm, database: db);
  return PrologEngine._(db, br, sm);
}