prolog-assert

    4зной

    4ответ

    Я написал следующую программу, которая вычисляет самую длинную неубывающую подпоследовательность входного массива. Подпрограмма, чтобы найти самый длинный список из списка списков, берется из stackove

    -1зной

    4ответ

    Я пытаюсь реализовать решение для факториала (n!) Без использования рекурсии, только используя ретроакцию пролога. Например: factorial(0, 1). factorial(1, 1). factorial(2, 2). retroaction(X, Y) :-

    1зной

    1ответ

    Скажем, у меня есть факты, как это: fact(abc,2). Я хочу что-то вроде этого (псевдо-код): fact_update(Functor,Name,AddToValue) :- if Fact_exist then update_fact : NewVal is CurrentValue + AddToV

    1зной

    1ответ

    Извините, если это очевидно, но я недавно изучал пролог и пытаюсь прочитать данные для использования в системе рекомендаций. gifter :- write('how much money? '), read(money), nl, assert(will_sp

    0зной

    2ответ

    С профилем Prolog можно легко ознакомиться с помощью consult/1 или [filename].. Предположим, что я генерирую код Пролога как атом. Я могу в предикате записать этот код в файл, а затем проконсультирова

    5зной

    3ответ

    От чтения руководства, я не могу найти разницу между ними. Руководство говорит: Рекомендуется использовать retractall/1 для стирания всех положений динамического предиката. Поэтому я решил использоват

    0зной

    1ответ

    Мне нужно удалить элемент из списка предикатов, но он не работает. Он возвращает true для меня, но элемент все еще существует. Код: eliminar :- limpar, write('\n*** DELETAR ***\n'), write('O