Create FOLogic.hs
Create FOLogic.hs

Add a Haskell version of First Order Logic
hkuplg/fcore,bixuanzju/fcore,hkuplg/fcore,hkuplg/fcore,bixuanzju/fcore,bixuanzju/fcore,zhiyuanshi/fcore,zhiyuanshi/fcore,zhiyuanshi/fcore