hop(_47794,_47792)). time=0.0005438327789306641. passed=passed=info(why_was_true(user:(edge(_21462,_21462)==>hop(_21462,_21462)))) no_proof_for((edge(X,X)==>hop(X,X))). no_proof_for((edge(X,X)==>hop(X,X))). no_proof_for((edge(X,X)==>hop(X,X))). result=passed. ]]>