关于Prolog的，有兴趣的可以学习，需要一定的英文基础。