W-Prolog Augmentation of