Является ли Erlang языком программирования с ограничениями логики?

Поскольку Erlang основан на Prolog, означает ли это, что Erlang является языком логики ограничений?
Есть ли в Erlang строительные блоки Prolog: Факты, правила и запросы