说我有这样的事实：
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).
第二个不起作用：
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]).
因为什么时候Fact不成功Amt没有被实例化，所以我总是得到NewAmt is Val。
我会写
fact_update(Functor,Name,AddToValue) :-
Curr =.. [Functor,Name,CurrVal],
( retract(Curr)
-> NextVal is CurrVal+AddToValue,
Next =.. [Functor,Name,NextVal]
; Next =.. [Functor,Name,AddToValue]
),
assertz(Next).
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句