結果 : logic programs in python