Prolog Optics