import "StandardLibrary" Foo ?a ?b ?l :- @ffb (?a,?b) <- ?l main = select ?x where Foo ?x 3 [(1,2),(2,3),(3,4)] -- [2]