% From The Art of EyeProlog, Chapter 39 — Reading static procedures.
:- public(elk/1).

elk(X) :- moose(X).

moose(bertha).