Erlang はとっくの昔に論理型言語じゃなくなってるから
今さら Prolog と比べられてもな