| ABCL | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | ⊕ Japan | OO Lisps | |
| DOC | ⊕ 1986 | ⊕ Japan | Directed OC - parallel logic language | ||
| Meta-Logic Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
| Modal Logic Programming | ⊕ 1986 | ⊕ Japan | |||
| Ondine | ⊕ 1986 | ⊕ Japan | |||
| PANDA | ⊕ 1986 | ⊕ Japan | |||
| QUTE | ⊕ 1986 | ⊕ Japan | |||
| TAO86 | ⊕ 1986 | ⊕ Japan |