БНФ прямо записывается на прологе — и всё! Этого достаточно для построения транслятора — не нужно совсем никакого инструментария — пролог и есть это самый инструментарий, всё же логика высказываний, метод резолюции — круче только рефал. Но я вот рефал-машину в 12 строк на прологе написал, а наоборот не получилось … https://habr.com/ru/post/543692