This appears to be a rebranded Ciao Prolog (Ciao Prolog sourceforge page now links its project website to ciao-lang.org). Ciao Prolog was a good performant impl

This appears to be a rebranded Ciao Prolog (Ciao Prolog sourceforge page now links its project website to ciao-lang.org). Ciao Prolog was a good performant implementation of Prolog although I use SWI-Prolog myself so can not attest to that personally. Constraint programming (various libraries) and object system (Logtalk) should be available through libraries and are therefore available through SWI as well (though last time I checked ciao has an interface to gecode but not SWI).