来源：https://stackoverflow.com/questions/64325939/first-order-logic-creating-terms-for-arithmetic-expressions-using-prolog 标签 prolog signature predicate first-order-logic
