squamous-cell
发表于 2025-3-21 16:58:30
书目名称Meta-Programming in Logic影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0631204<br><br> <br><br>书目名称Meta-Programming in Logic影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0631204<br><br> <br><br>书目名称Meta-Programming in Logic网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0631204<br><br> <br><br>书目名称Meta-Programming in Logic网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0631204<br><br> <br><br>书目名称Meta-Programming in Logic被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0631204<br><br> <br><br>书目名称Meta-Programming in Logic被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0631204<br><br> <br><br>书目名称Meta-Programming in Logic年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0631204<br><br> <br><br>书目名称Meta-Programming in Logic年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0631204<br><br> <br><br>书目名称Meta-Programming in Logic读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0631204<br><br> <br><br>书目名称Meta-Programming in Logic读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0631204<br><br> <br><br>
没有准备
发表于 2025-3-21 22:50:30
An autoepistemic analysis of metalevel reasoning in logic programming, this connection. An ideal introspective agent is one who makes the fewest possible assumptions about her beliefs. There is a strong formal connection between ideal introspection and metalogical systems in Logic Programming. We trace this connection in two cases: Reflective Prolog and negation as fa
精美食品
发表于 2025-3-22 04:25:52
An introduction to partial deduction,ming, and to a certain degree in computing in general, is being recognized. This article provides a systematic introduction to partial deduction, its applications and open problems. Starting from an informal and intuitive presentation, the fundamental notions such as correctness and completeness are
Deduct
发表于 2025-3-22 05:11:55
http://reply.papertrans.cn/64/6313/631204/631204_4.png
悬挂
发表于 2025-3-22 11:05:53
http://reply.papertrans.cn/64/6313/631204/631204_5.png
Offensive
发表于 2025-3-22 13:13:37
http://reply.papertrans.cn/64/6313/631204/631204_6.png
Abnormal
发表于 2025-3-22 19:20:40
Compiler optimizations for low-level redundancy elimination: An application of meta-level prolog pr, interpretation, and partial evaluation. In this paper, we show how meta-level primitives can be used in a very simple way for low-level code optimization in compilers. The resulting code optimizer is small, simple, efficient, and easy to modify and retarget. An optimizer based on these ideas is cu
flex336
发表于 2025-3-22 23:22:09
http://reply.papertrans.cn/64/6313/631204/631204_8.png
flourish
发表于 2025-3-23 01:50:59
http://reply.papertrans.cn/64/6313/631204/631204_9.png
Engaged
发表于 2025-3-23 09:35:13
,Object-oriented programming in Gödel: An experiment,ed program is implemented in Gödel at two levels. First, at the base or object level, the static features such as object identity, the classification of objects, and message passing between objects are implemented using the basic Gödel language. Secondly, at the top or meta-level, the dynamic featur