A language for updating logic programs and its implementation

DOI10.1016/0743-1066(94)00025-2zbMath0863.68034OpenAlexW2015422750MaRDI QIDQ3125091

Nicola Leone, Luigi Palopoli, Massimo Romeo

Publication date: 17 March 1997

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

Full work available at URL: https://doi.org/10.1016/0743-1066(94)00025-2

zbMATH Keywords

ULLupdate language

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: A language for updating logic programs and its implementation