Logic2Paradigm