Prolog queries that return false after true (Enter vs Spacebar)