Logical paradigm is a kind of modeling and reasoning about systems. It is a type of programming paradigm, largely based on formal logics.