Function: printprops (<a>, <i>)
Function: printprops ([<a_1>, ..., <a_n>], <i>)
Function: printprops (all, <i>) Displays the property with the indicator <i> associated with the atom <a>. <a> may also be a list of atoms or the atom
all in which case all of the atoms with the given property will be used. For example,
printprops ([f, g], atvalue).
printprops is for properties that cannot otherwise be displayed, i.e. for
(%o1) true (%i2)