Prolog
Augmentation of
ASTLOG (3737)