Tabled evaluation with delaying for general logic programs
From MaRDI portal
Publication:4371515
DOI10.1145/227595.227597zbMath0882.68050MaRDI QIDQ4371515
Publication date: 19 January 1998
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: http://www.acm.org/pubs/contents/journals/jacm/1996-43/
program transformations; logic programming; query evaluation; stable models; deductive databases; well-founded models; tabled evaluation
68P15: Database theory
Related Items
Concurrent and Local Evaluation of Normal Programs, Generating Specialized Rules and Programs for Demand-Driven Analysis, The limits of fixed-order computation, \(\mho\)-resolution and hybrid knowledge bases, Loop checks for logic programs with functions, A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics, Enhancing global SLS-resolution with loop cutting and tabling mechanisms, Two case studies of semantics execution in Maude: CCS and LOTOS, Precise specification matching for adaptive reuse in embedded systems, Logic programming with solution preferences
Uses Software