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

rely on first instantiated argument indexing

Browse Source 
This great improvement to indexing allows much more natural
definitions of virtually all meta-predicates. Many thanks to @notoria!
This commit is contained in:
Markus Triska
2023-02-25 10:17:55 +01:00
parent 84c95c59e9
commit 997161c740
1 changed files with 6 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
src/lib/clpz.pl
View File

@@ -220,31 +220,23 @@ partition_([X|Xs], Pred, Ls0, Es0, Gs0) :-
:- meta_predicate(include(1, ?, ?)).
include(Goal, Ls0, Ls) :-
include_(Ls0, Goal, Ls).
include_([], _, []).
include_([L|Ls0], Goal, Ls) :-
include(_, [], []).
include(Goal, [L|Ls0], Ls) :-
( call(Goal, L) ->
Ls = [L|Rest]
; Ls = Rest
),
include_(Ls0, Goal, Rest).
include(Goal, Ls0, Rest).
:- meta_predicate(exclude(1, ?, ?)).
exclude(Goal, Ls0, Ls) :-
exclude_(Ls0, Goal, Ls).
exclude_([], _, []).
exclude_([L|Ls0], Goal, Ls) :-
exclude(_, [], []).
exclude(Goal, [L|Ls0], Ls) :-
( call(Goal, L) ->
Ls = Rest
; Ls = [L|Rest]
),
exclude_(Ls0, Goal, Rest).
exclude(Goal, Ls0, Rest).
%:- discontiguous clpz:goal_expansion/5.