foo(A) :- Gae, A = 1, _{a: B}, [1,2,3|Z]. bar :- aoeu snth.