H ? « ‹ ← → › »

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

TLLP(ID:5065/tll001)

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.

References:
  • 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
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder