プロローグで、たとえば次のような事実を主張すると:
assert(boy(john4)).
assert(boy(john3)).
assert(boy(john2)).
assert(boy(john1)).
この事実をファイルに保存するにはどうすればよいですか?
プロローグで、たとえば次のような事実を主張すると:
assert(boy(john4)).
assert(boy(john3)).
assert(boy(john2)).
assert(boy(john1)).
この事実をファイルに保存するにはどうすればよいですか?