% Adapted from Logtalk iso_atom_length_2_05. Modified for Eyepl's harness.
% See test/conformance/THIRD_PARTY.md.
%% goal: atom_length(_, 4)