A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
From MaRDI portal
Publication:5449592
DOI10.1007/11799573_7zbMath1131.68397OpenAlexW1561578420MaRDI QIDQ5449592
C. R. Ramakrishnan, Diptikalyan Saha
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
Related Items
Uses Software
