Termination of simply-moded well-typed logic programs under a tabled execution mechanism

DOI10.1007/S002000100066zbMath0973.68030OpenAlexW2053262805MaRDI QIDQ5941756

Danny De Schreye, Sofie Verbaeten

Publication date: 26 August 2001

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/124394

zbMATH Keywords

SLD-resolutiontabled logic programming

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17)

This page was built for publication: Termination of simply-moded well-typed logic programs under a tabled execution mechanism