fixed clingo process termination issues. fangkai also fixed a bug in nav.asp