#prolog execution #backtracking #search tree #noituloser #logic programming state