Post by Lars Ericson on Jul 30, 2015 20:44:42 GMT -8
Riddle. This is not satisfiable in ASP/Clingo:
row(1,7).
not row(1,7).
This is satisfiable in ASP/Clingo:
time(7), row(1,7).
not row(1,7).
As far as I know, "a,b" in ASP means "a AND b". Why is the second form satisfiable???
row(1,7).
not row(1,7).
This is satisfiable in ASP/Clingo:
time(7), row(1,7).
not row(1,7).
As far as I know, "a,b" in ASP means "a AND b". Why is the second form satisfiable???