pos(f([65, 32, 87, 84, 25, 91, 36, 43, 64, 78, 51, 65, 90],[65, 32, 87, 84, 25, 91, 36, 43, 64, 78, 51, 65])).
  pos(f([65, 32],[65])).
  pos(f([1,2,3],[1,2])).
  pos(f([65, 32,23],[65,32])).

  neg(f([1,2,3],[1,2,3])).
  neg(f([1,2,3],[1])).