1
ответ
Пролог - УТВЕРЖДАЕТ и ОТРЕКАЕТСЯ
Я задавался вопросом, я знаю, что можно использовать, утверждают для добавления фактов или правил или безотносительно если Вы объявили, что предикат-:dynamic, но это только позволяет изменения, которые внесены, чтобы быть сохраненными в этом...
вопрос задан: 3 February 2014 00:30
0
ответов
предикаты Определения в Прологе SICStus / SWI-Prolog REPL
я читаю http://cs.union.edu/~striegnk/learn-prolog-now/html/node3.html#subsec.l1.kb1,
но я испытываю затруднения при выполнении следующего предиката: SICStus 4.0.1 (x86-win32-nt-4): вторник 15 мая 21:17:49...
вопрос задан: 21 January 2016 21:25
0
ответов
Могу ли я использовать переменные с assert/1?
То, что я имею сейчас, проверяет, что X(Y) не является общепринятым фактом в моей небольшой БД. Поскольку X(Y) возвращает false, он попытается утвердить это. (Я понимаю, что это создает проблемы, когда X является правилом, а не фактом) ...
вопрос задан: 2 February 2014 23:16
0
ответов
Я хочу создать динамические факты в прологе
Я написал следующий простой код и ожидаю, что когда я напишу «мужчина.», Этот код спросит меня один раз »будет это мужчина? " и если я ввожу «Нет», на экране будет написано «она женщина». мужчина: - (print ('это мужчина?') ...
вопрос задан: 2 February 2014 23:15
0
ответов
SWI -Prolog -Fail to Assert
Я определяю оператор следующим образом::-op (500, xfx, => ). Когда я пытаюсь что-то вроде :assert (a => b ). Пролог выдает сообщение об ошибке «Нет разрешения на изменение статической _процедуры (=> )/2». Любой...
вопрос задан: 26 January 2014 00:42
0
ответов
Prolog - как очистить память и начать с нуля?
Я разрабатываю алгоритм в .pl файле и исследую его с помощью запросов в командном окне.
Я использую динамические переменные и предикаты retract/assert. А когда я изменяю pl-файл и нажимаю на "...
вопрос задан: 24 November 2013 17:38