$ 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.