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

Merge pull request #1743 from triska/rely_on_indexing

Browse Source 
rely on first instantiated argument indexing
This commit is contained in:
Mark Thom
2023-02-25 19:23:59 +01:00
committed by GitHub
parent 84c95c59e9 997161c740
commit 7ffb40e0ad
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, ?, ?)). :- meta_predicate(include(1, ?, ?)).
include(Goal, Ls0, Ls) :- include(_, [], []).
include_(Ls0, Goal, Ls). include(Goal, [L|Ls0], Ls) :-
include_([], _, []).
include_([L|Ls0], Goal, Ls) :-
( call(Goal, L) -> ( call(Goal, L) ->
Ls = [L|Rest] Ls = [L|Rest]
; Ls = Rest ; Ls = Rest
), ),
include_(Ls0, Goal, Rest). include(Goal, Ls0, Rest).
:- meta_predicate(exclude(1, ?, ?)). :- meta_predicate(exclude(1, ?, ?)).
exclude(Goal, Ls0, Ls) :- exclude(_, [], []).
exclude_(Ls0, Goal, Ls). exclude(Goal, [L|Ls0], Ls) :-
exclude_([], _, []).
exclude_([L|Ls0], Goal, Ls) :-
( call(Goal, L) -> ( call(Goal, L) ->
Ls = Rest Ls = Rest
; Ls = [L|Rest] ; Ls = [L|Rest]
), ),
exclude_(Ls0, Goal, Rest). exclude(Goal, Ls0, Rest).
%:- discontiguous clpz:goal_expansion/5. %:- discontiguous clpz:goal_expansion/5.