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

make ground.yap use new C-code.

Browse Source
This commit is contained in:
Vítor Santos Costa 2011-11-03 07:49:06 +09:00
parent d2c50b72c6
commit d690ffdb18
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pl/ground.yap
View File

@ -48,8 +48,6 @@ ground(Term) :-
ground(ArgN), ground(ArgN),
'$ground'(M, Term). '$ground'(M, Term).
*/
numbervars(Term, M, N) :- numbervars(Term, M, N) :-
'$variables_in_term'(Term, [], L), '$variables_in_term'(Term, [], L),
'$numbermarked_vars'(L, M, N). '$numbermarked_vars'(L, M, N).
@ -62,3 +60,5 @@ numbervars(Term, M, N) :-
M1 is M+1, M1 is M+1,
'$numbermarked_vars'(L, M1, N). '$numbermarked_vars'(L, M1, N).
*/