Разбор выражения в Прологе и возврат абстрактного синтаксиса

Я должен написать parse (Tkns, T), который принимает математическое выражение в виде списка токенов и находит T, и возвращает инструкцию, представляющую абстрактный синтаксис, соблюдая порядок операций и ассоциативность. Например, ?- parse( [ ...

Предикат Пролог - бесконечный цикл

Мне нужно создать предикат Пролога для степени 2 с натуральными числами. Натуральные числа: 0, s (0), s (s (0)) и т. Д. Например: ?- pow2(s(0),P). P = s(s(0)); false. ?- pow2(P,s(s(0))). P = s(0); false.Это мой код: times2(X,Y) :- add(X,X,Y). ...

Пролог - получить факторы для данного числа не останавливается?

Мне нужно найти факторы данного числа, например:

Обратимое отношение длины дерева

Я пытаюсь написать обратимые отношения в "чистом" Прологе (нетis, вырезать или аналогичные вещи. Да, это домашнее задание), и я должен признать, что понятия не имею, как. Я не вижу никакого процесса, чтобы создать такую вещь. Нам даны ...

Запись преемника Пролог дает неполный результат и бесконечный цикл

Я начал изучать Пролог и впервые узнал о записи преемника. И здесь я узнаю о написании аксиом Пеано в Прологе. Смотрите страницу 12PDF:

Особенности хорошего кода Пролога? [закрыто

Какую эвристику дизайна нужно освоить, чтобы написать хороший Пролог? Я слышал, что опытному программисту требуется около двух лет, чтобы стать опытным в Прологе. Эффективное использование рекурсии является частью этого, но это, кажется, ...

Обратимое отношение длины дерева

Разбор выражения в Прологе и возврат абстрактного синтаксиса

Я должен написать parse (Tkns, T), который принимает математическое выражение в форме списка токенов и находит T, и возвращает инструкцию, представляющую абс...

Пролог - получить факторы для данного числа не останавливается?

Мне нужно найти факторы данного числа, например: ?- divisors2(40,R). R = [40,20,10,8,5,4,2,1].Код : % get all the numbers between 1-X range(I,I,[I]). range(I,K,[I|L]) :- I < K, I1 is I + 1, range(I1,K,L). % calc the modulo of each element with ...