prolog library

Properties

prolog Mode
final