prolog-assert

2зной

2ответ

Prolog: Различное поведение одиночных и двойных котировок

Я довольно новичок в Prolog, и я наткнулся на то, что я не понимаю. Это мой код: :- dynamic user/3. user('id', 'Name', 20). changeAge(Id, NewAge) :- user(Id, Name, _), retract(user(Id,_,_

prolog portability double-quotes prolog-assert 2015-12-11

---

4зной

4ответ

Как использовать динамические базы данных в Prolog?

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

list prolog clpfd lis prolog-assert 2016-02-05

---

1зной

1ответ

модули с динамическими предикатами

Это прослеживание вопрос: Adapting csv reading for multiple tables Если я следующий модуль определен: :- module(csv_load_mod,[prepare_db/3]). :- use_module(library(csv)). :- set_prolog_stack(global,

module prolog swi-prolog prolog-assert 2015-07-23

---

1зной

1ответ

Пролога: правило, содержащие только утверждает, добавляет первый результат к фактам

Я пытаюсь предвычислением некоторых вещей и сохранить результаты как факты в начале моей программы: (упрощенный код) :- dynamic cost/2. %recipe(Id,Cost) recipe(1,20). recipe(2,40). assert_all :-

prolog sicstus-prolog prolog-assert 2016-05-17

---

5зной

3ответ

В чем разница между отменой/1 и retractall/1?

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

prolog prolog-assert 2015-12-27

---

-1зной

4ответ

Факториальный расчет без использования рекурсии

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

prolog factorial prolog-assert 2015-09-26

---

1зной

1ответ

Лучший способ обновить/добавить факт в db?

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

prolog prolog-assert 2015-11-22

---

0зной

1ответ

PROLOG retract его не работает

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

dynamic prolog prolog-assert 2015-11-25

---