Simple Abstract/Assumption-Based Augmentation Scripts for Prolog