I\'m testing my min_heap in prolog but it doesn\'t work as i expected. In particular it miss some elements i think and it doesn\'t generate a correct min_heap.