which software uses cloud as it's operating system and is written in thrift ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_operatingSystem dbr_Cloud sep_dot var_uri dbo_programmingLanguage dbr_Thrift_ attr_open protocol attr_close sep_dot var_uri a dbo_Software brack_close