| Grasselli and McCluskey ALGOL | ⊕ 1961 | ↓ ↑ ⊕ Numerical Scientific | Linear | ⊕ United States | ALGOL modified for programming logical problems |
| HACL | ⊕ 1994 | ↓ ↑ ⊕ Experimental and other | Linear | ⊕ Japan | Concurrent OO language based on linear logic |
| LL | ⊕ 1994 | ↓ ↑ ⊕ Specialised Languages | Linear | ⊕ Netherlands | Logic language for the Doedens multi language text query system |
| LT | ⊕ 1957 | ↓ ↑ ⊕ Specialised Languages | Linear | ⊕ United States | Logical Theorist - theorem proving system at RAND |
| LT-2 | ⊕ 1959 | ↓ ↑ ⊕ Specialised Languages | Linear | ⊕ United States |