Which programming paradigm is a bridge between programming and logic?

General