{ a }.
:~ not a. ["0.3"@0,0,()]

b ; c :- a.
:- a.

&query(b).