2 citations
1 paper
Chris Martens, Robert J. Simmons, Michael Arntzenius
Logic programming, as exemplified by datalog, defines the meaning of a program as its unique smallest model: the deductive closure of its inference rules. However, many problems ca…