prolog library Null safety

Properties

prolog Mode
final