control_structure data_type logic programming_fundamental variable