結果 : logical programs in python