9 lines
135 B
Plaintext
9 lines
135 B
Plaintext
#show freprowID/1.
|
|
freprowID(I) :- reprowID(I).
|
|
|
|
qsat2(Q) :- reprowID(R), qsat(Q,R).
|
|
|
|
unsat() :- qrow(Q,_,_), not qsat2(Q).
|
|
|
|
:- sat().
|