Make P-log understand classical negation.

[iensen]

P-log should understand classical negation -p. as a short hand for p = false.

For example, the following program should work:
sorts
#boolean = {true, false}.
attributes
p: #boolean.
statements
-p.
?p = false.