YAP 7.1.0
mapargs.yap
1
2:- use_module(library(mapargs)).
3
4ds(X,Y,Z) :- Y is 2*X, Z is X*X.
5
6double(X,Y) :- Y is 2*X.
7
8square(X,Y) :- Y is X*X.
9
10plus2(X,Y,Z,A) :- A is X+Y+Z.
11
12t1(X,Y) :- mapargs(double, X, Y).
13
14mapargs :- t1(a(1,2,3,4,5),S), writeln(S).
15
16t2(G, X,Y) :- mapargs(G, X, Y).
17
18mapargs :- t2(double, a(1,2,3,4,5),S), writeln(S).
19
20
21t3(X,Y,Z) :- mapargs(ds, X, Y, Z).
22
23mapargs :- t3(a(1,2,3,4,5),S,T), writeln(S:T).
24
25
26t4(G, X,Y,Z) :- mapargs(G, X, Y, Z).
27
28mapargs :- t4(ds, a(1,2,3,4,5),S,T), writeln(S:T).
29
30t5(X) :- mapargs(integer, X).
31
32mapargs :- t5(a(1,2,3,4,5)), writeln(ok).
33
34t6(G, X) :- mapargs(G, X).
35
36mapargs :- t6(integer, a(1,2,3,4,5)), writeln(ok).
37
38t7(X, S) :- foldargs(plus, X, 0, S).
39
40foldargs :- t7(a(1,2,3,4,5), S), writeln(S).
41
42t8(G, X, S) :- foldargs(G, X, 0, S).
43
44foldargs :- t8(plus, a(1,2,3,4,5), S), writeln(S).
45
46
47t9(X, Y, S) :- foldargs(plus2, X, Y, 0, S).
48
49foldargs :- t9(a(1,2,3,4,5), a(1,2,3,4,5), S), writeln(S).
50
51t10(G, X, Y, S) :- foldargs(G, X, Y, 0, S).
52
53foldargs :- t10(plus2, a(1,2,3,4,5), a(1,2,3,4,5), S), writeln(S).
54
55
use_module/1
use_module( +Files )