Я сделал несколько экспериментов с возможностями табуляции b-prolog версии 8.1 и был очень удивлен производительностью, которую я наблюдал. Вот код, который я использовал. Он подсчитывает количество C
У меня есть небольшая проблема с левой рекурсией в этой грамматике. Я пытаюсь записать его в Prolog, но я не знаю, как удалить левую рекурсию. <expression> -> <simple_expression>
<simple_expression>