Programming Languages: OCaml, Scala, Prolog(?)