Titlebook: Meta-Programming in Logic; Third International A. Pettorossi Conference proceedings 1992 Springer-Verlag Berlin Heidelberg 1992 Automat.Re

squamous-cell

書目名稱Meta-Programming in Logic影響因子(影響力)




書目名稱Meta-Programming in Logic影響因子(影響力)學(xué)科排名




書目名稱Meta-Programming in Logic網(wǎng)絡(luò)公開(kāi)度




書目名稱Meta-Programming in Logic網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書目名稱Meta-Programming in Logic被引頻次




書目名稱Meta-Programming in Logic被引頻次學(xué)科排名




書目名稱Meta-Programming in Logic年度引用




書目名稱Meta-Programming in Logic年度引用學(xué)科排名




書目名稱Meta-Programming in Logic讀者反饋




書目名稱Meta-Programming in Logic讀者反饋學(xué)科排名

沒(méi)有準(zhǔn)備

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

精美食品

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

懸掛

Offensive

Abnormal

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

flourish

Engaged

,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