:- module(_,_).

p(a,1).
p(b,2).

% Ciao implements additional functionality (via the hiord package): 

% A) Optional special syntax for call/n: 
% 
%   Try (ask for more solutions):
% ?- use_package(hiord).
%    (Loads hiord package in top level)
% ?- P = t, P(X,Y).
% ?- P = append, P([1,2],[3,4],Y).
% ?- P = append(X,Y), P([1,2,3,4]).


% B) Anonymous predicates (read _ as lambda): 
% ?- P = { _(X,Y) :- Y is X+1 }, P(3,R).

% - And much more!