Oracle semantics for Prolog

DOI10.1006/inco.1995.1146zbMath1096.68583OpenAlexW2087601293MaRDI QIDQ2508326

Michael Codish, Roberto Giacobazzi, Roberto Barbuti, Michael J. Maher

Publication date: 10 October 2006

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1146

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

S-semantics for logic programming: a retrospective look ⋮ Abstract interpretation of resolution-based semantics

This page was built for publication: Oracle semantics for Prolog