Результаты поиска по запросу "dcg"
Пролог - перевод с английского на C
У нас есть относительно простое задание, которое я понимаю в теории, но я думаю, что просто не совсем понимаю синтаксис Пролога, чтобы включить его в код. По сути, у нас есть список английских обозначений, которые представляют операции в C. Они ...
как разбить предложение в swi-прологе
Я пробую свои силы на SWI-Пролог в Win XP. Я пытаюсь понять, как разбить предложение в Прологе на отдельные атомы.Пример: скажем, у меня есть предложение вро...
Пролог, ошибка при запросе ложного утверждения
input :- read_line_to_codes(user_input, Input), string_to_atom(Input,Atoms), atomic_list_concat(Alist, ' ', Atoms), phrase(sentence(S), Alist), action(S). statement(Rule) --> [Noun, 'is', 'a', Object], { Rule =.. [Object, Noun]}. statement1(Rule) ...
Очень простой синтаксис пролога dcg
Я пытаюсь понять пролог и грамматику определенного предложения, но мне очень трудно понять их оба. Я действительно пытаюсь понять, как использовать синтаксис DCG ... Здесь у меня есть два примера: Первый на самом деле код из другого вопроса на ...
Разбор выражения в Прологе и возврат абстрактного синтаксиса
Я должен написать parse (Tkns, T), который принимает математическое выражение в форме списка токенов и находит T, и возвращает инструкцию, представляющую абс...
prolog конвертирует числа в римские цифры
меня есть этот код, который преобразует целые числа в римские цифры. Мне нужно добавить функцию, которая сравнивает целое число с вводом римских цифр и показывает, является ли оно try или false, например: roman (v, 5). правд toroman(0). ...
Как избежать использования assert и retractall в Prolog для реализации глобальных (или состояний) переменных
Я часто заканчиваю тем, что пишу код на Прологе, который включает в себя некоторое арифметическое вычисление (или информацию о состоянии, важную для всей программы), сначала получая значение, сохраненное в предикате, затем пересчитывая значение ...
Расширение DCG: Стойкость игнорируется?
Предположим, у меня есть следующее правило DCG: factor(X) --> "(", expr(X), ")".Обычно это будет переведено на: factor(X, A, B) :- [40|C] = A, expr(X, C, D), [41|B] = D.Разрешено ли системе Пролога переводить ее следующим образом, ...