A.Miguel Dias CxProlog created in 1990 - http://ctp.di.fct.unl.pt/~amd/cxprolog/ - View it on GitHub