結果 : constraint logic programming python