Efficient local unfolding with ancestor stacks

DOI10.1017/S1471068409990263zbMath1222.68066MaRDI QIDQ3087806

Manuel V. Hermenegildo, Elvira Albert, Germán Puebla

Publication date: 17 August 2011

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

partial evaluationlogic programmingpartial deductionprologlocal unfoldingSLD semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Unnamed Item

This page was built for publication: Efficient local unfolding with ancestor stacks