Languages:

• BAP (1993) Brain Aid Prolog
• DIESEL (0)
• ECP (1985)
• FORTRAN V (1962) Interim FORTRAN with string and character handling
• Isabelle (1988)
• MADCAP (1960) Two dimensional maths and set language
• MAPS (0)
• NPL (1977) New Pattern Language
• ROSCOE (0) Remote OS Conversational On-line Environment
• SETL (1970) Set based programming language
• SETL2 (1990)
• SETS (1973)
• SLANG (1990)
• TeLa (2000)