Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs

DOI10.1017/S1471068411000251zbMath1222.68055arXiv1107.5556MaRDI QIDQ3087453

Ricardo Rocha, Flávio F. Cruz

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

zbMATH Keywords

implementationcall subsumptiontabled evaluation

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Data structures (68P05) Logic programming (68N17)

This page was built for publication: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs