The integration transparency of a multidatabase system depends heavily on the diversity of local language interfaces and models. These parameters are not predetermined but application dependent. The flexibility of a n...
详细信息
The proceedings contain 19 papers. The special focus in this conference is on Extensions of logicprogramming. The topics include: SLWV — A theorem prover for logicprogramming;a correct goal-directed proof procedure...
ISBN:
(纸本)9783540564546
The proceedings contain 19 papers. The special focus in this conference is on Extensions of logicprogramming. The topics include: SLWV — A theorem prover for logicprogramming;a correct goal-directed proof procedure for a general logic program with integrity constraints;declarative semantics of hypothetical logicprogramming with negation as failure;conditional narrowing with constructive negation;logicprogramming with functions over order-sorted feature terms;a direct semantic characterization of RELFUN;embedding finite sets in a logicprogramming language;a modal framework for structured logic programs;metalogic for state oriented programming;on the semantics of inheritance in logicprogramming: compositionality and full abstraction;the abstract scheme for concurrent programming;the π-calculus as a theory in linear logic: preliminary results;natural deduction proof theory for logicprogramming;a typed foundation for directional logicprogramming;an architecture for prolog extensions;techniques for implementing contexts in logicprogramming;implementing a notion of modules in the logicprogramming language λprolog and a-sufficiency and the definiens operation.
We present algorithms for computing A-sufficient substitutions and constraint sets together with the definiens operation. These operations are primitive operations in the language GCLA. The paper first defines those p...
详细信息
We present a correct goal-directed procedure for consistent logic program with integrity constraints in stable model semantics [5]. Although there are correct bottom-up procedures for every general logic program [13, ...
详细信息
In this paper we discuss different techniques for implementing an extension of logicprogramming for knowledge structuring. The extension we consider, in particular, is based on Contextual logicprogramming. Three dif...
详细信息
The SLD resolution proof theory for the Prolog family of logicprogramming languages is well known. The extended syntactic forms of these languages, however, distance them from the Horn language required by SLD resolu...
详细信息
Object-oriented programming and blackboard systems have proven to be two of the most successful approaches to the construction of complex software systems. Both of them rely upon the ability of maintaining either a di...
详细信息
A long standing problem in logicprogramming is how to impose directionality on programs in a safe fashion. The benefits of directionality include freedom from explicit sequential control, the ability to reason about ...
详细信息
LIFE is an experimental programming language proposing to integrate logicprogramming, functional programming, and object-oriented programming. It replaces first-order terms with ψ-terms, data structures which allow ...
详细信息
We define the stable semantics for general hypothetical logic programs. We consider resolving a hypothetical goal (G ∶ R) in a context P as consisting of two steps: (i) Updating the context by inserting the clauses i...
详细信息
暂无评论