Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt