list softwares written in ocaml and runs on unix ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_operatingSystem dbr_Unix sep_dot var_uri dbo_programmingLanguage dbr_OCaml sep_dot var_uri a dbo_Software brack_close