DG>>На вскидку, для языков прикладного уровня я вижу два глобальных направление:
П>(скип)
П>Не знаю почему, но мне это очень сильно напомнило пролог.

Да, именно что-то такое и хочется, только хочется не в виде теоретической разработки, а в виде языка прикладного уровня.


У пролога есть один большой и жирный минус — он не подразумевает диалог с программистом.
т.е. если задача неподъемная, то комп не говорит — у меня здесь проблема, мне нужно подумать пару лет и т.д.
также прологу нельзя сказать — ну, реши хоть как-нибудь, давай вот в этом месте мы "схитрим" и т.д.