Вам, вероятно, нужно assert/2
, но трудно сказать, как именно вы должны его использовать, не зная, какие факты вам нужны.
Если вы можете читать атомы из файла, вы можете утверждать там один- в fact/1
условия с:
assert_from_stream(Stream) :-
read(Stream, X),
assert(fact(X)).
Обязательно объявите fact/1
(или что вы используете для хранения фактов) с
:- dynamic fact/1.
Факты с более чемодин аргумент работает аналогично: assert(attributes(weather, wind))
после объявления dynamic attributes/2
.