›
↑
↑
↑
Exploring language family ""
GOL
⊕
1969
↓
↑
⊕
Specialised Languages
Modal
⊕
United States
Extension to LISP for predicate calculus