भविष्यवाणी कैश

Question

क्या कोई प्रोलॉग कार्यान्वयन या पुस्तकालय है जो कैश भविष्यवाणी करता है?

या आप,/1 और वापस लेना/1 assertz का उपयोग कर इस तरह की एक, कहते हैं, फीफो कैश लागू करना होगा:

:- 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)). 

ग्रहण-CLP में, एक कम से कम अतिरिक्त का उपयोग कर findall/3 लाइन बदल सकते -logical चर:

... 
(getval(cache_size) =:= 100 -> once retract(cache(_)) ; incval(cache_size)), 
... 

मेरी बॉक्स पर, इस ccall/1 ले> 4.00 cpu सेकंड के लिए 1000 कॉल, जबकि वास्तविक लक्ष्य CPU समय negliglible है (0.04 cpu सेकंड)। तो मुझे लगता है कि दुभाषिया के अंदर लागू एक कैश (विशेष रूप से एक एलआरयू कैश या तो) अभी भी assertz/1 और retract/1 से बेहतर प्रदर्शन करेगा।

मैं निश्चित रूप से केवल कुछ ही लोगों के लिए कैशिंग नहीं करना चाहता हूं। एक परिदृश्य इस तरह हो सकता है: p([H|T], E) :- q(H,E) ; p(T,E)q/2 के साथ कोई दुष्प्रभाव नहीं है। p/2 को लगातार बढ़ती सूची के लिए बुलाया जाता है लेकिन हमेशा E के लिए हमेशा/अक्सर कहा जाता है।

Answer 1

क्या आप tabling/memoization चाहते हैं?
XSB स्वत: पेश प्रदान करता है (यदि आप यह घोषणा जो predicates आप पेश करना चाहते हैं)

और हाँ, assertz/1 आदि थोड़े धीमे होते हैं