test.pl

:- use_module(library(mavis)).
:- use_module(library(dcg/basics), [string//1]).

%% stuff(+Greeting:integer, +X:atom) is semidet.
%
%  Do stuff with Greeting and X.  This is a longer comment to
%  make sure I understand how the comments look after PlDoc
%  has parsed them internally.
stuff(Greeting, Name) :-
    format('~w, ~w~n', [Greeting,Name]).

%%  grammar(-Name:codes)//
grammar(Name) -->
    "hello ",
    string(Name).

%%  from_name(Codes, Atom, Extra:atom)
from_name(Codes, Atom, Extra) :-
    Extra = extra,
    atom_codes(Atom, Codes).

%% lazy(Foo)
lazy(_).