which movies starring isaac hayes were directed by john carpenter ?
select distinct var_uri where brack_open var_uri rdf_type dbo_Film sep_dot var_uri dbo_starring dbr_Isaac_Hayes sep_dot var_uri dbo_director dbr_John_Carpenter sep_dot brack_close