A sound and complete semantics for a similarity-based logic programming language | Publicación