support logic programming