ACL2 |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
|
⊕
United States
|
Theorem proving lisp |
AMPL |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
⊕
Matrix
|
⊕
United States
|
Another Matrix Programming Language |
EASEL |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
|
⊕
United States
|
DSL for user-defined applications |
Fusion |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
|
⊕
United States
|
Object modelling language |
LL |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
⊕
Linear
|
⊕
Netherlands
|
Logic language for the Doedens multi language text query system |
NeoLogo |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
⊕
Prototyping
|
⊕
Brazil
|
Prototyping OO extension of Logo |
OPTIMIX |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
⊕
Graph
|
⊕
Germany
|
Graph rewriting language based on Datalog |
PEI |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
|
⊕
Belgium
|
parallel language |
SIMAN V |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
|
⊕
United States
|
Version 5 of SIMAN |
Swarm |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
⊕
Activity scanning
|
⊕
United States
|
Agent based simulation language |
Syntropy |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
|
|
Object modelling language |
WinPict |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
|
|
Visual language |
youtoo |
⊕
1994
|
↓
↑
⊕
Specialised Languages
|
⊕
Lazy Evaluation LISPs
|
⊕
United Kingdom
|
2nd generation EULisp |