This paper is an introduction to soft partial metric spaces. The aim is to create a soft topological model for a programming language described as a soft logic system, like in classical partial metric studies. Since the ...