Transformational methodology for proving termination of logic programs

DOI10.1016/S0743-1066(97)00028-9zbMath0904.68040MaRDI QIDQ3841095

M. R. K. Krishna Rao, Deepak Kapur, Rudrapatna K. Shyamasundar

Publication date: 5 November 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

logic programsterm rewriting systems

Mathematics Subject Classification ID

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

Related Items (2)

A framework for incremental learning of logic programs ⋮ Termination prediction for general logic programs

Uses Software

• RRL

This page was built for publication: Transformational methodology for proving termination of logic programs