結果 : inference rules programming language