Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
From MaRDI portal
Publication:3087453
DOI10.1017/S1471068411000251zbMath1222.68055arXiv1107.5556MaRDI QIDQ3087453
Publication date: 16 August 2011
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1107.5556
This page was built for publication: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs