Erlang has some roots in Prolog. Its initial version was actually implemented in Prolog.