On the Completeness of Selective Unification in Concolic Testing of Logic Programs.

Fred Mesnard Étienne Payet Germán Vidal

Published in: LOPSTR (2016)

Keyphrases

logic programs
logic programming
function symbols
answer sets
stable models
background knowledge
answer set programming
inductive logic programming
computational properties
fixpoint
normal logic programs
partial deduction
horn clauses
prolog programs
monotonicity constraints
high level
recursive programs