A logical foundation for logic programming II: Semantics of general logic programs

DOI10.1016/S0743-1066(97)10006-1zbMath0918.68010MaRDI QIDQ4208859

Alexander Bochman

Publication date: 17 August 1999

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

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Here and There among Logics for Logic Programming

This page was built for publication: A logical foundation for logic programming II: Semantics of general logic programs