首页
标签
sld-resolution
有谁知道这个序言代码的 SLD 树是什么？
Prolog 中如何解释匿名变量？