Описание тега implicit-state-passing

Используйте этот тег при неявной передаче состояний с помощью Prolog DCG (Определенная грамматика клаузулы).
1 ответ

DCG состояние реализации алгоритма

Расстояние между длинной последовательностью и короткой последовательностью - это минимальное расстояние между короткой последовательностью и любой подпоследовательностью длинной последовательности, равное длине короткой последовательности. Расстоян…
2 ответа

Как избежать использования assert и retractall в Prolog для реализации глобальных (или состояний) переменных

Я часто заканчиваю тем, что пишу код на Прологе, который включает в себя некоторое арифметическое вычисление (или информацию о состоянии, важную для всей программы), сначала получая значение, сохраненное в предикате, затем пересчитывая значение и, н…
1 ответ

Применение полуконтекстной нотации для передачи дополнительных аргументов

Это дополнительный вопрос из более раннего вопроса из ответа Мата Начиная с этого e([number(0)] , t1 , Uc0 , Uc0, Bc0 , Bc0) --> []. e([number(1)] , t2 , Uc0 , Uc0, Bc0 , Bc0) --> []. e([number(2)] , t3 , Uc0 , Uc0, Bc0 , Bc0) --> []. e([op…
2 ответа

Как перечислить комбинации с использованием DCG с CLP(FD) и несколькими ограничениями

Этот вопрос начинается с ответа Мэта на улучшение Алгоритма для перечисления двоичных деревьев, у которого есть только одно входное значение, которое определяет количество всех узлов для двоичного дерева, и необходимость иметь возможность иметь два …
08 мар '17 в 13:22