rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

tighten up numbervars

Browse Source
This commit is contained in:
Mark Thom
2018-09-21 10:29:07 -03:00
parent 4d6590c6aa
commit 109a0ee74d
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/prolog/lib/numbervars.pl
View File

@@ -14,7 +14,7 @@ numbervars(Term, NewTerm, N1, N2) :- compound(Term), !,
Term =.. [Name | Args], Term =.. [Name | Args],
NewTerm =.. [Name | NewArgs], NewTerm =.. [Name | NewArgs],
fold_numbervars(Args, NewArgs, N1, N2). fold_numbervars(Args, NewArgs, N1, N2).
numbervars(_, _, _, _). numbervars(_, _, N, N).
marked_already(Term, NewTerm) :- marked_already(Term, NewTerm) :-
var(Term), nonvar(NewTerm), NewTerm = '$VAR'(_). var(Term), nonvar(NewTerm), NewTerm = '$VAR'(_).
@@ -23,9 +23,7 @@ marked_already(Term, NewTerm) :-
fold_numbervars([HeadTerm | Terms], [NewHeadTerm | NewTerms], N1, Nn) :- fold_numbervars([HeadTerm | Terms], [NewHeadTerm | NewTerms], N1, Nn) :-
( marked_already(HeadTerm, NewHeadTerm) -> N1 = N2 ( marked_already(HeadTerm, NewHeadTerm) -> N1 = N2
; numbervars(HeadTerm, NewHeadTerm, N1, N2), ; numbervars(HeadTerm, NewHeadTerm, N1, N2)
( var(N2) -> N1 = N2
; true )
), ),
fold_numbervars(Terms, NewTerms, N2, Nn). fold_numbervars(Terms, NewTerms, N2, Nn).
fold_numbervars([], [], _, _). fold_numbervars([], [], _, _).