Create FOLogic.sf
Create FOLogic.sf

A fcore version of First Order Logic, may still got a few unknown bugs.
zhiyuanshi/fcore,bixuanzju/fcore,zhiyuanshi/fcore,hkuplg/fcore,hkuplg/fcore,bixuanzju/fcore,bixuanzju/fcore,zhiyuanshi/fcore,hkuplg/fcore