If you are using SWI-Prolog then one alternative is the persistency.pl
library. You need to declare persisted predicates and their argument types. Then you can use assert_mypred
and retract_mypred
. More info: http://www.swi-prolog.org/pldoc/doc/swi/library/persistency.pl
Save asserted facts in Prolog
-
02-04-2022 - |
Pergunta
In prolog, if I assert some fact, for example:
assert(boy(john4)).
assert(boy(john3)).
assert(boy(john2)).
assert(boy(john1)).
How can I save this fact in file?
Nenhuma solução correta
Outras dicas
Licenciado em: CC-BY-SA com atribuição
Não afiliado a StackOverflow