Renamed logging functions for json prolog to not overlap with cram_reasoning prolog