This uses Answer-Set Prolog, This was all the instructions I was given.

satisfiability answer set(s) of a basic logic program answer set(s) of an arbitrary logic program Compute the answer set(s) of the following program (make sure to show your work): por qorr. nots. satisfiability answer set(s) of a basic logic program answer set(s) of an arbitrary logic program Compute the answer set(s) of the following program (make sure to show your work): por qorr. nots