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

foreach + fold (idea from BProlog)

Browse Source
This commit is contained in:
Vítor Santos Costa 2013-09-20 01:42:50 +01:00
parent 0f45b3dc42
commit e7477d9888
2 changed files with 57 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
library/examples/matrix.yap
View File

@ -52,8 +52,28 @@ step(X,Y,Z,I,J) :-
foldl(addprod, Xs, Ys, 0, P), % scalar product foldl(addprod, Xs, Ys, 0, P), % scalar product
Z[I,J] <== P. Z[I,J] <== P.
step(X,Y,Z,I,J,S0,SF) :-
Xs <== X[I,_],
Ys <== Y[_,J],
foldl(addprod, Xs, Ys, 0, P), % scalar product
SF is S0+P,
Z[I,J] <== P.
addprod(X, Y, S0, S) :- addprod(X, Y, S0, S) :-
S is S0+X*Y. S is S0+X*Y.
t7 :-
t7(10).
t7(Len) :-
LenSq is Len*Len,
Len1 is Len-1,
numbers(1, LenSq, L),
X <== matrix(L, [dim=[Len,Len]]),
Y <== matrix(L, [dim=[Len,Len]]),
Z <== matrix(L, [dim=[Len,Len]]),
writeln('product:'),
foreach([I in 0..Len1, J in 0..Len1], step(X,Y,Z,I,J) , 0, O),
writeln(O).

38
library/matrix.yap
View File

@ -92,12 +92,13 @@ typedef enum {
matrix_get/2, matrix_get/2,
matrix_set/2, matrix_set/2,
foreach/2, foreach/2,
foreach/4,
op(100, fy, '[]') op(100, fy, '[]')
]). ]).
:- load_foreign_files([matrix], [], init_matrix). :- load_foreign_files([matrix], [], init_matrix).
:- meta_predicate foreach(+,:). :- meta_predicate foreach(+,0), foreach(+,2, +, -).
:- use_module(library(maplist)). :- use_module(library(maplist)).
:- use_module(library(lists)). :- use_module(library(lists)).
@ -508,6 +509,13 @@ foreach( Domain, Goal ) :-
global_variables( Domain, [], Goal, GlobalVars ), global_variables( Domain, [], Goal, GlobalVars ),
iterate( Domain, [], GlobalVars, Goal, [], [] ). iterate( Domain, [], GlobalVars, Goal, [], [] ).
foreach( Domain, M:(Locals^Goal), Inp, Out) :- !,
global_variables( Domain, Locals, Goal, GlobalVars ),
iterate( Domain, [], GlobalVars, M:Goal, [], [], Inp, Out).
foreach( Domain, Goal, Inp, Out ) :-
global_variables( Domain, [], Goal, GlobalVars ),
iterate( Domain, [], GlobalVars, Goal, [], [], Inp, Out ).
global_variables( Domain, Locals, Goal, GlobalVars ) :- global_variables( Domain, Locals, Goal, GlobalVars ) :-
term_variables( Domain+Locals, Pars ), term_variables( Domain+Locals, Pars ),
term_variables( Goal, DGVs, Pars), term_variables( Goal, DGVs, Pars),
@ -546,6 +554,34 @@ iterate( V in A..B, Cont, GlobalVars, Goal, Vs, Bs) :-
iterate( V in A1..NB, Cont, GlobalVars, Goal, Vs, Bs ) iterate( V in A1..NB, Cont, GlobalVars, Goal, Vs, Bs )
). ).
iterate( [], [], GlobalVars, Goal, Vs, Bs, Inp, Out ) :-
copy_term(t(Vs, Goal, GlobalVars), t(Bs, G, GlobalVars) ),
once( call(G, Inp, Out) ).
iterate( [], [H|Cont], GlobalVars, Goal, Vs, Bs, Inp, Out ) :-
iterate(H, Cont, GlobalVars, Goal, Vs, Bs, Inp, Out ).
iterate( [H|L], Cont, GlobalVars, Goal, Vs, Bs, Inp, Out ) :- !,
append(L, Cont, LCont),
iterate(H, LCont, GlobalVars, Goal, Vs, Bs, Inp, Out ).
iterate( [] ins _A .. _B, Cont, GlobalVars, Goal, Inp, Out ) :- !,
iterate(Cont, [], GlobalVars, Goal, Vs, Bs, Inp, Out ).
iterate( [V|Ps] ins A..B, Cont, GlobalVars, Goal, Vs, Bs, Inp, Out ) :-
eval(A, Vs, Bs, NA),
eval(B, Vs, Bs, NB),
( NA > NB -> Inp = Out ;
A1 is NA+1,
iterate( Cont, [], GlobalVars, Goal, [V|Vs], [NA|Bs], Inp, Mid ),
iterate( Ps ins A1..NB, GlobalVars, Goal, [V|Vs], [NA|Bs], Mid, Out )
).
iterate( V in A..B, Cont, GlobalVars, Goal, Vs, Bs, Inp, Out) :-
var(V),
eval(A, Vs, Bs, NA),
eval(B, Vs, Bs, NB),
( NA > NB -> Inp = Out ;
A1 is NA+1,
iterate( Cont, [], GlobalVars, Goal, [V|Vs], [NA|Bs], Inp, Mid ),
iterate( V in A1..NB, Cont, GlobalVars, Goal, Vs, Bs, Mid, Out )
).
eval(I, _Vs, _Bs, I) :- integer(I), !. eval(I, _Vs, _Bs, I) :- integer(I), !.
eval(I, Vs, Bs, NI) :- eval(I, Vs, Bs, NI) :-