% Adapted from Logtalk iso_asserta_1_06. Modified for EyeProlog's harness.
% See test/conformance/THIRD_PARTY.md.
%% ?- asserta((foo :- 4)).