1. 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.