Eagerly evaluating all predicate calls in Prolog -


reading swi-prolog documentation on meta-predicates, assumed call(f, ...) equivalent f(...), f predicate. observe behavior of 2 diverge in cases. instance, suppose knowledge base includes clause f(g(x)). query call(f, g(x)) succeeds, whereas f(call(g, x)) not. problematic, because need use clauses bodies include nested predicate calls. i'd prolog evaluate predicate calls eagerly (i wonder if right word?), such query f(call(g, x)) reduces f(g(x)) before unification begins, , succeeds. possible?


-

Comments

Post a Comment

Popular posts from this blog

java - SSE Emitter : Manage timeouts and complete() -

i writing web app multiple listeners(evcentsource sse clients js) connected server . want store sse emitter per connected listener : can done in memory or other means assigning id each client able achieve far now question ; how send response/event specific client connected web app ? while doing sseemmiters stored either getting completed or timed out. how prevent ? how keep sseemmiter available open infinite time (till client closes) , send events selectively .
Read more

Voice chat over bluetooth between Android & Python (pybluez) -

i need stream live audio between android , python (pybluez). at first, i've thought sip, i've understood works on android internet , not bluetooth. so - solution i'm thinking on send voice data on sockets, in project: https://github.com/deanthomson/android-udp-audio-chat my big issue solution bluetooth sockets has no "udp mechanism". rfcomm bluetooth sockets connection oriented, tcp sockets, , i'm worrying can lead bad audio transfer speeds.. should use method transfer 2-way live audio on bluetooth?
Read more

javascript - Contenteditable field onchange event add date -

html: <p id="bon_date" class="inline" style="color:#0000ff;" contenteditable="true" onchange="add7day()"> enter date </p> javascript: function add7day() { var str = document.getelementbyid(#bon_date).value; var startdate = str.split("/"); var month = parseint(stardate[0], 10); var day = parseint(stardate[1], 10); var o_month = parseint(stardate[0], 10); var o_day = parseint(stardate[1], 10); if (month == 1 | month == 3 | month == 5 | month == 7 | month == 8 | month == 10 | month == 12) { if ((day + 7) > 31) { month = month + 1; day = day + 7 - 31; } else { day = day + 7; } document.getelementbyid(#bon_date).innerhtml = o_month + "/" + o_day + "~" + month + "/" + day; } else { if ((day + 7) > 30) { ...
Read more