use nub to remove duplicates from list to simulate sets in ASP.hs
parse allows argumentlist for atoms, to be refined
allow computing atmost n Answer Sets