条街道往前推
发表于 2025-3-23 12:24:41
http://reply.papertrans.cn/32/3199/319858/319858_11.png
Facilities
发表于 2025-3-23 15:26:04
http://reply.papertrans.cn/32/3199/319858/319858_12.png
微粒
发表于 2025-3-23 20:00:08
Kate L. Anderson,Susan Balandinnd so more elaborate approaches to the implementation are necessary. In this article we describe an architecture of a Prolog system that gives the user enough support to quickly prototype new extensions and at the same time to implement them efficiently and incrementally. This architecture has been used to build the . and .. systems.
Substance-Abuse
发表于 2025-3-23 22:42:18
A Correct goal-directed proof procedure for a general logic program with integrity constraints,re is an extension of Eshghi‘s procedure which is correct for every call-consistent logic program, and can be regarded as a combination of the model elimination procedure and consistency checking in updates of implicit deletions .
ferment
发表于 2025-3-24 06:13:13
http://reply.papertrans.cn/32/3199/319858/319858_15.png
大量杀死
发表于 2025-3-24 06:45:04
An architecture for Prolog extensions,nd so more elaborate approaches to the implementation are necessary. In this article we describe an architecture of a Prolog system that gives the user enough support to quickly prototype new extensions and at the same time to implement them efficiently and incrementally. This architecture has been used to build the . and .. systems.
LEERY
发表于 2025-3-24 11:19:17
http://reply.papertrans.cn/32/3199/319858/319858_17.png
Monotonous
发表于 2025-3-24 15:44:48
Conditional narrowing with constructive negation,ne the notion of . and . of a normal theory. We show that there exists one minimal model for the completion of a stratified normal theory. Then we prove the correctness of the operational semantics with respect to the . of a . normal theory.
感情脆弱
发表于 2025-3-24 19:34:34
http://reply.papertrans.cn/32/3199/319858/319858_19.png
mastopexy
发表于 2025-3-25 00:58:58
Techniques for implementing contexts in Logic Programming,tion into Prolog code and compilation on an extended Warren Abstract Machine. These approaches are compared from the point of view of both methodology and efficiency. In the last part of the paper we consider a more effective implementation, developed on an industrial Prolog enhanced with the module construct.