Resultant semantics for prolog
From MaRDI portal
Publication:4895546
DOI10.1093/logcom/6.4.491zbMath0856.68038OpenAlexW2120913343MaRDI QIDQ4895546
Maurizio Gabbrielli, Maria Chiara Meo, Giorgio Levi
Publication date: 17 February 1997
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/6.4.491
Related Items (6)
Correct Answers for First Order Logic ⋮ Compositionality properties of SLD-derivations ⋮ Abstract interpretation of resolution-based semantics ⋮ The reduced relative power operation on abstract domains ⋮ An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. ⋮ A theory of observables for logic programs
This page was built for publication: Resultant semantics for prolog
