Use this tag when Prolog is used to create an abstract interpreter. Do not use this tag if for a Prolog meta-interpreter or for the similarly named tag abstract interpreter.
