Mathematical aspects of logic programming semantics
Hitzler, Pascal.
Mathematical aspects of logic programming semantics [electronic resource] / Pascal Hitzler, Anthony Seda. - Boca Raton : CRC Press, 2011. - xxx, 274 p. : ill. - Chapman & Hall/CRC studies in informatics series .
"A Chapman & Hall book."
Includes bibliographical references (p. 243-264) and index.
9781439829622 (ebook : PDF)
Logic programming.
Programming languages (Electronic computers)--Semantics.
Mathematical aspects of logic programming semantics [electronic resource] / Pascal Hitzler, Anthony Seda. - Boca Raton : CRC Press, 2011. - xxx, 274 p. : ill. - Chapman & Hall/CRC studies in informatics series .
"A Chapman & Hall book."
Includes bibliographical references (p. 243-264) and index.
9781439829622 (ebook : PDF)
Logic programming.
Programming languages (Electronic computers)--Semantics.