Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs

Given a logic program P, the operator TP associated with P is closely related to the intended meaning of P. Given a first order language L that is generated by finitely many non-logical symbols, our aim is to study the algebraic properties of the set {TP|P is a general logic program in language L} with certain operators on it. For the operators defined in this paper the resulting algebraic structure is a bounded distributive lattice. Our study extends (to the case of general logic programs), the work of Mancarella and Pedreschi who initiated a study of the algebraic properties of the space of pure logic programs. We study the algebraic properties of this set and identify the ideals and zero divisors. In addition, we prove that our algebra satisfies various non-extensibility conditions.

Download Full-text

Generalized Disjunctive Well-Founded Semantics for Logic Programs

10.21236/ada232064 ◽

1990 ◽

Cited By ~ 19

Author(s):

Chitta Baral ◽

Jorge Lobo ◽

Jack Minker

Keyword(s):

Logic Programs

Download Full-text

Once Upon a Time, Happily Ever After, and in a Galaxy Far, Far Away: Using Narrative to Fill the Cognitive Gap Left by Overreliance on Pure Logic in Appellate Briefs and Motion Memoranda

SSRN Electronic Journal ◽

10.2139/ssrn.1830543 ◽

2009 ◽

Cited By ~ 2

Author(s):

Jennifer L. Sheppard

Keyword(s):

Pure Logic

Download Full-text

Logical Decision Problems and Complexity of Logic Programs

Fundamenta Informaticae ◽

10.3233/fi-1987-10102 ◽

1987 ◽

Vol 10 (1) ◽

pp. 1-33

Author(s):

Egon Börger ◽

Ulrich Löwen

Keyword(s):

Fixed Point ◽

Computational Complexity ◽

Decision Problem ◽

Decision Problems ◽

Complexity Classes ◽

Logic Programs ◽

Finite Structures ◽

Syntactic Restrictions

We survey and give new results on logical characterizations of complexity classes in terms of the computational complexity of decision problems of various classes of logical formulas. There are two main approaches to obtain such results: The first approach yields logical descriptions of complexity classes by semantic restrictions (to e.g. finite structures) together with syntactic enrichment of logic by new expressive means (like e.g. fixed point operators). The second approach characterizes complexity classes by (the decision problem of) classes of formulas determined by purely syntactic restrictions on the formation of formulas.

Download Full-text

Y-Logic: A Framework for Reasoning About Chameleonic Programs with Inconsistent Completions

Fundamenta Informaticae ◽

10.3233/fi-1990-13405 ◽

1990 ◽

Vol 13 (4) ◽

pp. 465-483

Author(s):

V.S. Subrahmanian

Keyword(s):

Classical Logic ◽

Logic Program ◽

Logic Programs ◽

Large Subset ◽

General Logic ◽

Traditional Sense

Large logic programs are normally designed by teams of individuals, each of whom designs a subprogram. While each of these subprograms may have consistent completions, the logic program obtained by taking the union of these subprograms may not. However, the resulting program still serves a useful purpose, for a (possibly) very large subset of it still has a consistent completion. We argue that “small” inconsistencies may cause a logic program to have no models (in the traditional sense), even though it still serves some useful purpose. A semantics is developed in this paper for general logic programs which ascribes a very reasonable meaning to general logic programs irrespective of whether they have consistent (in the classical logic sense) completions.

Download Full-text