An interactive source commenter for Prolog programs | Synapse