首页
标签
ciao-prolog
编译时如何指定ciao语言模式
如何从另一个文件调用事实和规则
将数字作为参数传递给可执行文件（使用 ciaoc 编译的 Prolog 代码）会产生错误