結果 : logical programming in python