Linear logic programming with an ordered context
Jeff Polakow · 2000
We begin with a review of ordered linear logic (OLL), a renement o f i n tuitionistic linear logic with an inherent notion of order.We then develop a logic programming interpretation for OLL in two steps: (1) we g i v e a system of ordered uniform derivations which is sound and complete with respect to OLL, and (2) we present a model of resource consumption which removes non-determinism from ordered resource allocation during search for uniform derivations.We also illustrate the expressive p o wer of the resulting ordered linear logic programming language with several example programs.