Logic programming with multiple context management schemes

Abstract

Two years experience with prograanmlng in Linear Logic has shown that while some problems require the full power of linear context management, for many this much control is too much. In such cases a restriction on either weakening or contraction, but not both, is most appropriate. In this article we introduce a refinement of the system proposed by Hodas and Miller in which each of these constraints is independently available. This enables programs to be more succinct, understandable, and efficient.