The Relative Complement Problem for Higher-Order Patterns

9 years 3 months ago
The Relative Complement Problem for Higher-Order Patterns
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in general, be described by a pattern, or even by a finite set of patterns. We therefore generalize the simply-typed -calculus to include an internal notion of strict function so that we can directly express that a term must depend on a given variable. We show that, in this more expressive calculus, finite sets of patterns without repeated variables are closed under complement and unification. Our principal application is the transformational approach to negation in higher-order logic programs.
Alberto Momigliano, Frank Pfenning
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 1999
Where AGP
Authors Alberto Momigliano, Frank Pfenning
Comments (0)