RosettaCodeData/Task/Function-composition/Prolog/function-composition.pro

5 lines
84 B
Prolog

:- use_module(lambda).
compose(F,G, FG) :-
FG = \X^Z^(call(G,X,Y), call(F,Y,Z)).