DOC: Shorten CLP(B) summary entries to accommodate the PDF manual index.
DOC: Shorten CLP(B) summary entries to accommodate the PDF manual index.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel