$ scryer-prolog camels.pl v3.pl 
?- use_module(library(time)).
   true.
?- time(camels).
% initial patterns:
[2,0,0].
[0,2,0].
[0,0,2].
% generated packing patterns:
[0,2,1].
[1,1,1].
% solution vector (coefficient of each pattern):
[0,0,1,0,13].
   % CPU time: 0.063s
   true.