ENHANCED: CLP(B): In residual goals, atoms denote input parameters.
ENHANCED: CLP(B): In residual goals, atoms denote input parameters.

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