:- module(foo, []).

%! dummy is det.
%
%
% ~~~
% ?- member(Y, [a, b]).
% Y = a ;
% Y = b.
% ~~~
% ~~~
% ?- member(a, [a, b]).
% true ;
% false.
% ~~~
%
% ~~~{.pl}
% ?- append([], [], []).
% true.
%
% ?- X = 1, member(Y, [2, 3]).
% X = 1,
% Y = 2 ;
% X = 1,
% Y = 3.
% ~~~
%
% ==
% ?- fail.
% false.
% ==
%
% ~~~
% ?- foo:dummy.
% true.
% ~~~
%
%    this code block.
%    is ignored.
%    as it should.
%
% nice!
dummy :-
  true.