首页
标签
prolog-defaulty
prolog catch all 仅在没有其他子句时才有效的子句
Prolog - 替换和评估
组合生成器结果并将结果写入流
控制 Prolog 变量值选择
使用 CLP(FD) 约束任意长度的子列表
包含 in 或不等式的 CLPFD 域声明
PROLOG 中的深度反向 - 列表
Prolog中的树叶遍历
将整数限制在集合中
Prolog - 简化导数