結果 : basic logical programs in python