Без заголовка

А почему логические языки с удобной семантикой (непрологовской) не получают распространения?