A theoretical foundation is presented aimed at reconciling the theory and practice of decision table (DT) processing with a family of relatable methodologies represented by logicprogramming (LP), Prolog, and relation...
详细信息
A theoretical foundation is presented aimed at reconciling the theory and practice of decision table (DT) processing with a family of relatable methodologies represented by logicprogramming (LP), Prolog, and relational databases. Implementations with predicate data organizations adhere to the relational definition of DT's and illustrate the impact of relational level processing on DT processing;interconnections among these implementations are also stipulated. Use and performance characteristics for the various methods are mentioned and, in order to highlight the contributions to DT theory and methodology, the attractiveness of the perspectives gained from LP is summarized and demonstrated.
We define a semantics for negation as failure in logicprogramming. Our semantics may be viewed as a cross between the approaches of Clark [5] and Fitting [7]. As does [7], our semantics corresponds well with real PRO...
详细信息
We define a semantics for negation as failure in logicprogramming. Our semantics may be viewed as a cross between the approaches of Clark [5] and Fitting [7]. As does [7], our semantics corresponds well with real PROLOG in the standard examples used in the literature to illustrate problems with [5]. Also, PROLOG and the common variants of it are sound but not complete for our semantics. Unlike [7], our semantics is constructive, in that the set of supported queries is recursively enumerable. Thus, a complete interpreter exists in theory, although we point out that there are serious difficulties in building one that works well in practice.
Computable relations are expressed as set retractions. This class of functions is here discussed in a set theory which is built according to the structure of the Herbrand Universe in clausal logic. The approach provid...
详细信息
We argue that some standard tools from model theory provide a better semantic foundation than the more syntactic and operational approaches usually used in logicprogramming. In particular, we show how initial models ...
详细信息
A logicprogramming environment should provide users with declarative control of program development and execution and resource access and allocation. It is argued that the concurrent logic language PARLOG is well sui...
详细信息
Intensional negation is a transformation technique which, given the Horn clause definitions of a set of predicates pi, synthesizes the definitions of new predicates, pi∼ the meaning of which is the effective part of ...
详细信息
The problem of the translation of λ-terms into combinators (bracket abstraction) is of great importance for the implementation of functional languages. In the literature there exist a lot of algorithms concerning thi...
详细信息
The simplicity and elegance of definite clauses makes this formalism attractive from a theoretical point of view. The objects in this formalism are the uninterpreted terms over the Herbrand universe. programming howev...
详细信息
The assumptions underlying alcohol education programs, and the impact of such programs are examined from the perspectives of inferential and deductive logic. The inconclusiveness of empirical evidence concerning progr...
详细信息
The assumptions underlying alcohol education programs, and the impact of such programs are examined from the perspectives of inferential and deductive logic. The inconclusiveness of empirical evidence concerning program effectiveness leads to the adoption of a position of "relative agnosticism," according to which we can compensate for our state of empirical ignorance by giving greater attention to the deductive logic implied in the assumptions underlying alcohol education. Common flaws in the deductive logic of alcohol education are identified; a series of increasingly sound underlying syllogisms is proposed, leading to the establishment of (inductively and deductively) logically sound objectives and targets for alcohol education programs. A review of existing empirical evidence concerning effectiveness of alcohol education is combined with the outcome of the deductive-logical analysis, resulting in a series of explicit, realistic, recommendations for effective alcohol programming.
OBJ is a logic based ultra-high level programming language that has been strongly influenced by modern programming methodology. In particular, it provides facilities for user definable abstract data types, parameteriz...
详细信息
ISBN:
(纸本)0444866477
OBJ is a logic based ultra-high level programming language that has been strongly influenced by modern programming methodology. In particular, it provides facilities for user definable abstract data types, parameterized abstract objects, interactive programming (when the system detects errors, it provides suitable error messages and puts the user into an edit mode such that execution resumes when editing is completed), libraries, and other features. This paper describes some experiences with an experimental OBJ implementation in LISP;in general, this experience encourages our belief that equational logic based languages are a promising research direction that could have significant practical impact.
暂无评论