首页
标签
tuprolog
如何在 Prolog 中编写键值对？
如何让 TuProlog 识别无效事实？