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 |