会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
gaoshoufenmu
博客园
首页
新随笔
联系
订阅
管理
2016年6月7日
PIE 阻断回溯——Cut
摘要: PIE(Prolog Inference Engine)通常是搜索所有的解。举个例子, 当然dialog窗口中一开始调用 run. 只会显示一个解(虽然事实上会得到两个解),在前面加上 X=1,就可以将两个解都显示出来。 有时候我们只需要得到一个解就行,此时如果让PIE算出所有的解,显然会浪费时间降
阅读全文
posted @ 2016-06-07 09:27 gaoshoufenmu
阅读(386)
评论(0)
推荐(0)
编辑
公告