H ? « »

Language peer sets for TLLP:
Designed 1983
1980s languages
Fourth generation
Late Cold War


alternate simple view
Designed 1983

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.

  • Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai (2001) 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. Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder