Prolog-2
Augmentation of
*Prolog (4206)