次のような事実があるとします。
fact(abc,2).
私はこのようなものが欲しい(疑似コード):
fact_update(Functor,Name,AddToValue) :-
if Fact_exist then update_fact : NewVal is CurrentValue + AddToValue
else create_new_fact : Functor(Name,AddToValue)
私は2つの異なる方法を試しました。最初はあまり好きではない :
fact_add(Functor,Name,Val) :-
Fact =.. [Functor, Name, Val],
assert(Fact),
say([fact, Fact]).
fact_update(true, Functor,Name,Val) :-
Fact =.. [Functor, Name, Amt],
Fact,
retractall(Fact),
X is Amt + Val,
fact_add(Functor,Name,X). %% retractall??
fact_update(false,Functor,Name,Val) :-
fact_add(Functor,Name,Val).
2番目は機能しません:
fact_update(Functor,Name,Val) :-
Fact =.. [Functor, Name, Amt],
(
Fact -> retractall(Fact)
;
(
(nonvar(Amt) -> NewAmt is Amt + Val ; NewAmt is Val),
Fact =.. [Functor, Name, NewAmt],
assert(Fact)
)
),
say([upd_fact, Fact]).
whenFact
が成功しない場合はAmt
インスタンス化されないため、常に取得しNewAmt is Val
ます。