Logic Programming
Latest Publications

TOTAL DOCUMENTS

42

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By The MIT Press

9780262291354

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Translating Logic Programs into Conditional Rewriting Systems

Logic Programming ◽

10.7551/mitpress/4299.003.0018 ◽

1997 ◽

Keyword(s):

Logic Programs ◽

Rewriting Systems

Download Full-text

Efficient Goal Directed Bottom-up Evaluation of Logic Programs

Logic Programming ◽

10.7551/mitpress/4299.003.0048 ◽

1997 ◽

Keyword(s):

Logic Programs ◽

Bottom Up

Download Full-text

Embedded Implications as a Generalization of Negation as Failure

Logic Programming ◽

10.7551/mitpress/4299.003.0046 ◽

1997 ◽

Keyword(s):

Negation As Failure

Download Full-text

Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models

Logic Programming ◽

10.7551/mitpress/4299.003.0036 ◽

1997 ◽

Keyword(s):

Side Effects ◽

Parallel Execution ◽

Execution Models ◽

Parallel Execution Models

Download Full-text

Assumption Grammars for Processing Natural Language

Logic Programming ◽

10.7551/mitpress/4299.003.0024 ◽

1997 ◽

Keyword(s):

Natural Language

Download Full-text

Automatic Compile-Time Parallelization of Prolog Programs for Dependent And-Parallelism

Logic Programming ◽

10.7551/mitpress/4299.003.0014 ◽

1997 ◽

Keyword(s):

Prolog Programs ◽

Time Parallelization

Download Full-text

Demand-driven and constraint-based automatic left-termination analysis for Logic Programs

Logic Programming ◽

10.7551/mitpress/4299.003.0012 ◽

1997 ◽

Keyword(s):

Logic Programs ◽

Termination Analysis

Download Full-text

Non-Failure Analysis for Logic Programs

Logic Programming ◽

10.7551/mitpress/4299.003.0010 ◽

1997 ◽

Keyword(s):

Failure Analysis ◽

Logic Programs

Download Full-text

Total Homeostaticity and Integrity Constraints Restorability Recognition

Logic Programming ◽

10.7551/mitpress/4299.003.0023 ◽

1997 ◽

Keyword(s):

Integrity Constraints

Download Full-text

Supporting Partial and Complete Sets and Tuples in Deductive Databases

Logic Programming ◽

10.7551/mitpress/4299.003.0041 ◽

1997 ◽

Keyword(s):

Deductive Databases ◽

Complete Sets

Download Full-text