Andreoli, J.-M. "Logic programming with focusing proofs in linear logic"

(1992) Journal of Logic and Computation, 2(3), 1992  

Languages mentioned LinLog {1992}