首页
标签
yap
source_sink `library(lineutils)' 不存在
yap 和 swi-prolog 阅读规范列表的区别
在 prolog 中截断一个浮点数
使用 Yap-Prolog 从流中读取列表
YAP Prolog random 缺乏随机性
Prolog：将谓词值与常量进行比较
metagol 中谓词的变量