Added documentation of new prolog_db set operations.
Authored by: dwarren 2018-01-06
Parent: [r9190]
Child: [r9192]