diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

don't ask for solutions if we know there are none left.

This commit is contained in:
Vitor Santos Costa 2010-12-30 23:20:49 -06:00
parent 8161cf64b7
commit 4e8e81f044
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pl/boot.yap
View File

@ -515,7 +515,7 @@ true :- true.
X == '$', !,
( recorded('$reconsulting',_,R) -> erase(R) ).
'$prompt_alternatives_on'(groundness).
'$prompt_alternatives_on'(determinism).
/* Executing a query */