TLLP(ID:5065/tll001)

for Temporal LLP

Logic programming language based on intuitionistic temporal linear logic, an integration of intuitionistic linear logic and temporal logic, a superset of Prolog and LLP, and it covers a significant fragment of (first-order) Lolli developed by J.Hodas and D.Miller.


References:
  • Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, and Naoyuki Tamura "Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic" In Proceedings of the 17th International Conference on Logic Programming (ICLP'01), pages 315--330, Lecture Notes in Computer Science 2237, Springer 2001. view details Abstract: Recent development of logic programming languages based on linear logic suggests a successful direction to extend logic programming to be more expressive and more efficient. The treatment of formulas-as-resources gives us not only powerful expressiveness, but also efficient access to a large set of data. However, in linear logic, whole resources are kept in one context, and there is no straight way to represent complex data structures as resources. For example, in order to represent an ordered list and time-dependent data, we need to put additional indices for each resource formula. This paper describes a logic programming language, called TLLP, based on intuitionistic temporal linear logic. This logic, an extension of linear logic with some features from temporal logics, allows the use of the modal operators ¡û(next-time) and ¢¢(always) in addition to the operators used in intuitionistic linear logic. The intuitive meaning of modal operators is as follows: ¡ûB means that B can be used exactly once at the next moment in time; ¢¢B means that B can be used exactly once any time; !B means that B can be used arbitrarily many times (including 0 times) at any time. We first give a proof theoretic formulation of the logic of the TLLP language. We then present a series of resource management systems designed to implement not only interpreters but also compilers based on an extension of the standard WAM model
    Resources