Julia的类型系统配合多分派感觉能替代一部分Prolog的功能？! 我在为一套推理规则写Julia实现时，居然感觉很像写Prolog！
现在还有写 prolog 程序的？？？
备案号：京ICP备17009874号-2