Here we present several "real-world" language examples. These languages demonstrate many of the features you would expect to find in a full-fledged programming language.
- SIMPLE: Imperative programming language with threads.
- KOOL: SIMPLE extended with object-oriented features.
- FUN: A functional language with algebraic data-types and pattern-matching.
- LOGIK: A logical programming language based on clause unification.