what are the software whose operating systems are atari tos and prodos ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_operatingSystem dbr_Atari_TOS sep_dot var_uri dbo_operatingSystem dbr_ProDOS sep_dot var_uri a dbo_Software brack_close