Partial deduction for structured logic programming

DOI10.1016/0743-1066(93)90024-BzbMath0774.68025OpenAlexW2009597235MaRDI QIDQ5286918

Michele Bugliesi, Evelina Lamma, Paola Mello

Publication date: 17 November 1993

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

Full work available at URL: https://doi.org/10.1016/0743-1066(93)90024-b

zbMATH Keywords

modulesblockspartial deduction

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

An assumption-based truth maintenance system dealing with non-ground justifications ⋮ Transformations of CLP modules

This page was built for publication: Partial deduction for structured logic programming