是否有 Prolog 实现或库可以缓存谓词？
或者您会使用assertz/1 和retract/1 来实现一个例如FIFO 缓存，如下所示：
:- dynamic cache/1.
ccall(G) :- cache(G).
ccall(G) :-
\+ cache(G),
call(G),
( findall(G0,cache(G0),Gs), length(Gs,N), N =:= 100 -> once retract(cache(_)) ; true ),
assertz(cache(G)).
在 ECLiPSe-CLP 中，至少可以使用额外逻辑变量替换 findall/3 行：
...
( getval(cache_size) =:= 100 -> once retract(cache(_)) ; incval(cache_size) ),
...
在我的机器上，对此 ccall/1 的 1000 次调用需要 >4.00 cpu 秒，而实际目标 cpu 时间可以忽略不计（0.04 cpu 秒）。
所以我猜想在解释器内部实现的缓存（特别是 LRU 缓存等）仍然会优于assertz/1 和retract/1。
当然，我不想对每个谓词进行缓存，只对极少数谓词进行缓存。一个场景可能是这样的：p([H|T], E) :- q(H,E) ; p(T,E) with q/2无副作用。p/2需要一个稳定增长的列表，但总是/经常是相同的E.
