#maxint=7. a(1..5). b(1..2). c(X) :- #int(X), not b(X).