This paper describes an extension of Horn clause logic programs by bounded quantifiers. Bounded quantifiers had been extensively used in a part of mathematical logic called theory of admissible sets [2]. Later some va...
详细信息
The proceedings contain 12 papers. The special focus in this conference is on Extensions of logicprogramming. The topics include: Methodology andprogramming techniques in GCLA II;extended logic-plus-functional progr...
ISBN:
(纸本)9783540554981
The proceedings contain 12 papers. The special focus in this conference is on Extensions of logicprogramming. The topics include: Methodology andprogramming techniques in GCLA II;extended logic-plus-functional programming;open logic theories;a finitary version of the calculus of partial inductive definitions;a logicprogramming approach to implementing higher-order term rewriting;an overview of the andorra kernel language;logical and computational invariants of programs;implementing λ-calculus reduction strategies in extended logicprogramming languages;terminological reasoning and partial inductive definitions;GCLA II a definitional approach to control;natural semantics and some of its meta-theory in elf and the near-horn approach to disjunctive logicprogramming.
In this paper we propose an approach to database theory based on a constructive logic. The semantics here assumed is a particular one, it is based on the notion of info(K,F) (the information type of F), where K is the...
详细信息
We describe an alternative schema of induction for the programminglogic TK based on safe positive induction. This replaces the original schema based on the well founded part of a relation. We show how the new schema ...
详细信息
This paper presents a procedure for deep transformation of logic programs, which is based upon partial evaluation of source logic programs and includes unfolding, term rewriting and deriving new predicates. Controllin...
详细信息
In this paper we discuss a declarative approach to debugging for DATALOG, a logicprogramming language based on a bottom-up evaluation strategy. We focus on the DATALOG implementation provided by the ALPE programming ...
详细信息
The notions of compositionality and equivalence are fundamental questions in programming language semantics. We focus on these notions and study the semantics of logic programs in the setting of a graph model We repre...
详细信息
In this paper we describe a grammar formalism for program transformation and its implementation in Prolog. Whereas Definite Clause Grammars are merely working on a string of tokens the formalism presented here acts on...
详细信息
This paper presents a new proof technique for Automated Reasoning andlogicprogramming which based on a generalization of the original Connection Graph paradigm of Kowalski and provides a methodology for logic Progra...
详细信息
In direct sequel to [Boerger, Rosenzweig 91a], term representing algebras are introduced, providing an evolving algebra account of WAM representation of terms and their unification. Prolog algebras of the preceeding p...
详细信息
暂无评论