This typically comes with Lisp or Haskell, prolog is an interesting case!