A Local Algorithm for Incremental Evaluation of Tabled Logic Programs

DOI10.1007/11799573_7MaRDI QIDQ5449592zbMATH OpenOpenAlexFDO

Authors Diptikalyan Saha, C. R. Ramakrishnan

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_7

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming
• Logic Programming
• Optimized algorithms for incremental analysis of logic programs
• Incremental Tabling for Query-Driven Propagation of Logic Program Updates
• Program updating by incremental and answer subsumption tabling

Cited in

(8)

• Incremental Algorithms for Local Search from Existential Second-Order Logic
• An Incremental Bisimulation Algorithm
• Logic Programming
• Optimized algorithms for incremental analysis of logic programs
• Efficient Local Unfolding with Ancestor Stacks for Full Prolog
• An Algorithm for Local Variable Elimination in Normal Logic Programs
• Incremental Tabling for Query-Driven Propagation of Logic Program Updates
• Logic Programming

Describes a project that uses

Uses Software

• FLORA

This page was built for publication: A Local Algorithm for Incremental Evaluation of Tabled Logic Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449592)