| Concurrent C | ⊕ 1984 | ⊕ Japan | |||
| Kanji PROLOG | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
| KCL | ⊕ 1984 | ⊕ Japan | |||
| LOOKS | ⊕ 1984 | ⊕ Japan | |||
| Mandala | ⊕ 1984 | ⊕ Japan | |||
| MODEL | ⊕ 1984 | ⊕ Japan | |||
| OBJ2 | ⊕ 1984 | ⊕ Japan | |||
| OC | ⊕ 1984 | ⊕ Japan | Parallel logic language | ||
| Prolog/KR | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | Extension to prolog for Knowledge representation |
| Quty | ⊕ 1984 | ⊕ Japan | |||
| ShapeUp | ⊕ 1984 | ⊕ Japan |