This program has the following output
a("a").
&in{1..2} =: X :- a(X).
b :- &sum{"a"} = 1.
fclingo test.lp 0
fclingo version 0.1
Reading from test.lp
Solving...
Answer: 1
a("a")
Answer: 2
a("a") b
SATISFIABLE
Changing "a" to a gives the expected output
fclingo test.lp 0
fclingo version 0.1
Reading from test.lp
Solving...
Answer: 1
a(a) val(a,2)
Answer: 2
a(a) b val(a,1)
SATISFIABLE