I\'m trying to use call_with_depth_limit in SWI-Prolog to implement iterative deepening and either I don\'t understand how it works or it\'s misbehaving. I have an example w
