LinLog(ID:5030/lin013)

for Linear Logic

LInear Logic programming language
References:
  • Andreoli, J.-M. "Logic programming with focusing proofs in linear logic" view details
          in Journal of Logic and Computation, 2(3), 1992 view details