:- module(_,_).

% 'Higher-Order' structure inspection examples

% Try: 
% ?- date(9,february,1947) =.. L.
% ?- T =.. [date,9,february,1947].
% ?- _F = '+', X =.. [_F,a,b].

% (_ in _F instructs top level not to print value of _F)