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

shorter partition/5, relying on first instantiated argument indexing

Browse Source
This commit is contained in:
Markus Triska
2023-09-08 22:47:59 +02:00
parent ad4c17fbb6
commit ec67752db4
1 changed files with 6 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/lib/clpb.pl
View File

@@ -1969,17 +1969,16 @@ exclude(Goal, [L|Ls0], Ls) :-
), ),
exclude(Goal, Ls0, Rest). exclude(Goal, Ls0, Rest).
partition(Pred, List, Less, Equal, Greater) :- :- meta_predicate(partition(2,?,?,?,?)).
partition_(List, Pred, Less, Equal, Greater).
partition_([], _, [], [], []). partition(_, [], [], [], []).
partition_([H|T], Pred, L, E, G) :- partition(Pred, [H|T], L, E, G) :-
call(Pred, H, Diff), call(Pred, H, Diff),
partition_(Diff, H, Pred, T, L, E, G). partition_(Diff, H, Pred, T, L, E, G).
partition_(<, H, Pred, T, [H|Rest], E, G) :- partition_(<, H, Pred, T, [H|Rest], E, G) :-
partition_(T, Pred, Rest, E, G). partition(Pred, T, Rest, E, G).
partition_(=, H, Pred, T, L, [H|Rest], G) :- partition_(=, H, Pred, T, L, [H|Rest], G) :-
partition_(T, Pred, L, Rest, G). partition(Pred, T, L, Rest, G).
partition_(>, H, Pred, T, L, E, [H|Rest]) :- partition_(>, H, Pred, T, L, E, [H|Rest]) :-
partition_(T, Pred, L, E, Rest). partition(Pred, T, L, E, Rest).