W-Prolog
Augmentation of
XProlog (5715)