P

plrsf

plrsf performs syntactic merging over ASP programs