Ну это как бы не совсем то. Да и Ериксон, вроде, отказался от Ерланга. Хотелось бы что-нибудь вроде `Boeing использовал Prolog при написании системы продажи авиабилетов...'.
Слово "кляуза" никаким боком не относится к слову "clause". Если уж на то пошло, есть не шибко распространенное слово "клаузула" из экономической/юридической терминологии.
Сам по себе Пролог может и не очень успешен, но вот встраиваемые логические движки на его основе можно найти где угодно - от систем документооборота и систем принятия решений и до жирных B2B-фреймворков.