Some early designs of logic programming languages based on linear logic include LO , Lolli, ACL, and Forum .
Mezi některé z raných návrhů logických programovacích jazyků založených na lineární logice patří: LO , Lolli , ACL a Forum .