On logic programs that always succeed.

DOI10.1016/S0167-6423(03)00023-6zbMath1058.68034OpenAlexW2067796886MaRDI QIDQ1426033

Salvatore Ruggieri, Dino Pedreschi

Publication date: 14 March 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(03)00023-6

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: On logic programs that always succeed.