Partial Evaluation of Logic Programs in Vector Spaces