1:- module(sugar, [
2 op(900, xfx, '=>'),
3 '=>'/2 % +Ps, +Term, -Result
4 ]).
16'=>'(Ps, Term) :-
17 Term =.. [Name|Args],
18 TermWithPs =.. [Name|[Ps|Args]],
19 ModuledTerm =.. [:, kubepl, TermWithPs],
20 call(ModuledTerm)
syntactic sugar