Abstracting Builtins for Groundness Analysis

This note clarifies how to handle solution gathering meta-calls, asserts and retracts in the groundness analysis of Prolog.