分解
发表于 2025-3-27 00:36:46
http://reply.papertrans.cn/27/2644/264385/264385_31.png
一致性
发表于 2025-3-27 02:44:26
Syntactic and Semantic Inheritance in Logic Programmingf partially ordered sets of logic program units. We develop for such systems operational, declarative and fixed point semantics which are proven equivalent..We begin by discussing, in logic programming terms, the basic types of inheritance that can be achieved. We identify two kinds, semantic and sy
使痛苦
发表于 2025-3-27 06:00:20
A survey of the implementations of narrowingr a program as a conditional term rewriting system, with conditional narrowing as the goal-solving mechanism. If EQLOG is one of the earliest proposals in that direction, many others have since then followed the trend, including SLOG , K-LEAF , ALF , BABEL and many others.
BLANK
发表于 2025-3-27 09:49:28
http://reply.papertrans.cn/27/2644/264385/264385_34.png
exacerbate
发表于 2025-3-27 13:36:10
Some Algorithms for Fast and Complete Execution of Logic Programsally and experimentally. In addition to new variants of depth-first iterative-deepening, a novel complete strategy, random iterative-probing, is introduced. The best algorithm in the article combines deep and shallow search and has in comparison with Prolog a much greater class of programs and queri
橡子
发表于 2025-3-27 19:37:35
A Common Graphical Formistributed processors. A key feature of the structure is its ability to model disparate abstract machines in a uniform manner; this enables us to experiment with different abstract machines without having to recode major parts of the run-time system for each additional machine. Because we are dealin
Ingratiate
发表于 2025-3-27 23:30:30
Conference proceedings 1992ty of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches, implementation techniques, abstract machines and programming methodology. The resulting volume provides an in-depth picture of current research into declarative programming.
perpetual
发表于 2025-3-28 03:46:49
http://reply.papertrans.cn/27/2644/264385/264385_38.png
共同确定为确
发表于 2025-3-28 08:10:12
Benedikt Sturzenhecker,Elisabeth Richtererloaded identifiers as well as conformity clauses that declare one abstract type to be more specific than another..The generalization of type classes to abstract types has the advantage of greater expressiveness: We can model polymorphic abstract types and heterogeneous data structures, concepts wh
Magnificent
发表于 2025-3-28 13:30:48
Demokratiepädagogik und Verantwortungslernenint semantics, and we prove their equivalence. The equivalence between declarative and operational semantics is based on a two-step reduction of inheritance systems to non-inheritance systems, i.e. systems of standard logic programs, by eliminating first syntactic inheritance and then semantic inher