国外管理领域一个很好的推理工具，Java 编程。