Prolog Augmentation of

IC Prolog ][ 1 Extension of
1