This Prolog Life/Extensions