On combining linear-based strategies for tabled evaluation of logic programs

DOI10.1017/S147106841100024XzbMath1222.68051arXiv1107.5030OpenAlexW3105740942MaRDI QIDQ3087452

Miguel Areias, Ricardo Rocha

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.5030

zbMATH Keywords

integrationimplementationlinear tablingdynamic reordering of solutions

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Table space designs for implicit and explicit concurrent tabled evaluation

Uses Software

• YAP-Prolog
• YapTab

Cites Work

• Unnamed Item

This page was built for publication: On combining linear-based strategies for tabled evaluation of logic programs