Procedural programming languages
B-Prolog
Prolog
List comprehension
ALGOL 68
Unification
Dynamic programming
Map
Software engineering
Computing
Computer programming