Doc new options for read_term, and answer subsumption for dynamic predicates.
Authored by: dwarren 2019-02-14
Parent: [r9532]
Child: [r9534]