Added documentation on interning terms and using (e.g.)
:- table p/2 as intern.
Authored by: dwarren 2014-05-04
Parent: [r7964]
Child: [r7966]
