I\'m writing a predicate to add two vectors. This is what I came up with: add( [], [], 0 ). add( [A], 0, A ).