search

iensen / plog2.0

A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)
GNU General Public License v3.0
1 stars 1 forks source link

Make P-log understand classical negation. #6

Open iensen opened 6 years ago

iensen commented 6 years ago

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.