Ошибка с базами данных Undeclared predicate, misspelling or not supported on chosen platform assert

@vovkasm · Регистрация: 21.09.2013

Author24 — интернет-сервис помощи студентам

Добрый день

Prolog

database-languages
    language(string)
 
clauses
assert(language("Italian")).
assert(language("Japanese")).
assert(language("English")).
assert(language("French")).
assert(language("German")).
 
goal
retract(X, languages), write(X), fail.

Вот такая программка, наблюдаю ошибки на всех assert:
This name is reserved for a standard predicate (on the selected platform): assert
Undeclared predicate, misspelling or not supported on chosen platform assert

Подскажите чём проблема?

@Black Fregat · 17.11.2014, 14:57

Надо перенести Ваши assert в правую (исполняемую) часть правила.

Например, так:

Prolog

predicates
init
 
database-languages
    language(string)
 
clauses
init :-
    assert(language("Italian")),
    assert(language("Japanese")),
    assert(language("English")),
    assert(language("French")),
    assert(language("German")).
 
goal
init, retract(X, languages), write(X), fail.

@vovkasm · 17.11.2014, 15:45 **[ТС]**

Black Fregat, т.е. все assert, asserta и т.д. работают только в исполняемой части. Спасибо за ответ, помог!

@Black Fregat · 17.11.2014, 20:56

Сообщение от vovkasm

все assert, asserta и т.д. работают только в исполняемой части.

Ну да, причём они должны быть реально выполнены. Уберёте init из цели - база будет пустой. Поставите 2 раза - факты продублируются.

Добавлено через 4 часа 25 минут
Это примерно так же, как располагать write, если такая аналогия лучше поможет

@vovkasm 2 / 2 / 1 Регистрация: 21.09.2013 Сообщений: 76
	17.11.2014, 15:45 [ТС]	3
	Black Fregat, т.е. все assert, asserta и т.д. работают только в исполняемой части. Спасибо за ответ, помог! 0

@Black Fregat Фрилансер 3705 / 2077 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	17.11.2014, 20:56	4
	Сообщение от vovkasm все assert, asserta и т.д. работают только в исполняемой части. Ну да, причём они должны быть реально выполнены. Уберёте init из цели - база будет пустой. Поставите 2 раза - факты продублируются. Добавлено через 4 часа 25 минут Это примерно так же, как располагать write, если такая аналогия лучше поможет 0

Ошибка с базами данных Undeclared predicate, misspelling or not supported on chosen platform assert

Решение