SOL

1. language Simulation Oriented Language.

2. Second-Order lambda-calculus.

3. Semantic Operating Language. Language for manipulating

semantic networks for building cognitive models, particularly

for natural language understanding. "Explorations in

Cognition", D.A. Norman et al, W.H. Freeman 1974.

4. Shit Outta Luck.