5 lines
84 B
Prolog
5 lines
84 B
Prolog
|
:- use_module(lambda).
|
||
|
|
|
||
|
|
compose(F,G, FG) :-
|
||
|
|
FG = \X^Z^(call(G,X,Y), call(F,Y,Z)).
|