Generic models of logic programs

DOI10.1093/LOGCOM/6.5.629zbMath0855.68017OpenAlexW2042141151MaRDI QIDQ4716046

Ron Sigal

Publication date: 19 November 1996

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/6.5.629

zbMATH Keywords

minimal Herbrand modelsdefinite Horn programs

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Generic models of logic programs