References & Citations
Computer Science > Logic in Computer Science
Title: On Answer Substitutions in Logic Programming
(Submitted on 17 Aug 2017 (v1), last revised 27 Jan 2018 (this version, v2))
Abstract: Answer substitutions play a central role in logic programming. To support {\it selective} answer substitutions, we refine $\exists x$ in goals into two different versions: the noisy version $\exists^o x$ and the silent version $\exists x$. The main difference is that only the instantiation in $\exists^o x$ will be recorded in the answer substitutions. Similarly for $\forall x$. In addition, we discuss the notion of don't-care constants and don't-know constants.
Submission history
From: Keehang Kwon [view email][v1] Thu, 17 Aug 2017 12:45:38 GMT (6kb)
[v2] Sat, 27 Jan 2018 10:44:30 GMT (19kb)
Link back to: arXiv, form interface, contact.