Prolog rendition of SOS for clocked X10 programs