Lolli: An Extension of λProlog with Linear Context Management