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 |