started logic programming