Modern logic/functional programming language
