Compiling associativity into logic programs

DOI10.1016/0743-1066(87)90010-0zbMath0631.68013OpenAlexW1973422757MaRDI QIDQ3768370

D. R. Brough, Christopher J. Hogger

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1016/0743-1066(87)90010-0

zbMATH Keywords

efficiencycorrectnesstransformationtail recursionrecursive logic programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Grammar-related transformations of logic programs

This page was built for publication: Compiling associativity into logic programs