plrsf performs syntactic merging over ASP programs
Possibilistic Answer Set Programming.
Playing with evidence theory