swipl -s log_to_tree.pl -g "log_to_tree('$1'),halt." > log.mp mptopdf log.mp