<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,"Noto Sans",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;padding-left:1.5rem;max-width:60rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{line-height:2.25rem;font-size:1.5rem;font-weight:500}@media (width <= 720px){.h2{line-height:1.5rem;font-size:1.25rem}}#challenge-error-text{background-image:url("data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+");background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme: dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="360"></head><body><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt = {cvId: '3',cZone: 'sourceforge.net',cType: 'managed',cRay: '95d283d91671ab21',cH: 'MjoRSMdjMMLJpCasgsFI8.C40BT3_SoIk5jFWXkpr90-1752176239-1.2.1.1-RCSMWSquIb8SidKIgAJPcAOuXmD2lrx7PIVYzKYn_yl3RSYNoaqxXBzosmG3VYyz',cUPMDTk:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/comparison.tex?__cf_chl_tk=BzFMK.5jMzxzTW3f2DBiBJk9.uUeUKelAENpMC4.4S4-1752176239-1.0.1.1-HwXJHTxzYkIF8JfLUMIc3eaGX8H5W8h_UyNyNg7upSc",cFPWv: 'b',cITimeS: '1752176239',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/comparison.tex?__cf_chl_f_tk=BzFMK.5jMzxzTW3f2DBiBJk9.uUeUKelAENpMC4.4S4-1752176239-1.0.1.1-HwXJHTxzYkIF8JfLUMIc3eaGX8H5W8h_UyNyNg7upSc",md: 'LvMazq1A3msekNuGGfj7HzjnGwdH4LlELH3N2Xb014o-1752176239-1.2.1.1-OvsW7mXif.PDEmIlbutj2eMxtiDLyth0prPqWJqCTkZDy0q0CLntg3Pg4MvP3T0DbxQrgjkomCMhI9qeptv3BUPn4VdcXDTLjeG6nJy8j2h05jWX0Xyk4aMhFM_DyQmR2xa8_WZ1Ubt3ERIJ7pFX86Kwo70UIrNk.vmEs2KyRKEn.U5zz9QQ.Dxs_F.AJS18GOBfsXL.ebgrZKh5Dy2VAJYxkNdq_dGpkVYApM43733k0GrYQGuCR1TkZ62e5lbNosdiZ4OxDjwRHgztE5RReHsQpDXSg0BGIGxxL5cGXJJPn5.vltfeZJCeZEpRrpuGWFqkrQQvhM1gmrUWm52YCqEpwzE37ZEr.uCAcK2Wgh4GICAXkk9Jem677adIDxBDgzSOr_C6PsJpxkghyO2dSTX995znjmZTLHMSbM8XR3IIB1cX3j1LY047_yLdHFdCzXsOoGYv5vIScPkMWI6YZitd7wzaeKPrg5moigecGiM4g.Z_H5_rJfYKSl0q92zHc11b4WkI9DpU1nfhU44wy7.GHUM0KKwXypVDwU7tYSTGenO8H2ks6ZtHDibMBCdkxj90VpMdSEZ0F6b9Bk5rtZJr2HhgM4PWe7tWileu1JtirxI.3iY6U7rt8Vten1ccpkw8pvPshwAxih68VnZF41WaGSi3Q0nG58V0s5rFVvn9rGatInz123JI9pn.ibxWwuhUEgpUFk4h6FRbU5N9UhAerEGa_f_2cXibmtsLaUlU31hhbzYpBEMddHEWxysmjrOm.zX_FhDZ1zpyv25YG9cnCRuBdPbVF7I8woQkfJVwUETdyNvqItJXBimrhrHOueqXmqIBsegTdX27nHmG7fqr6nqFl7Q5yq2ey7v5ZuD.bXABMgjB4hrZm35GCmnCMxAnZTRKilStnEWOLUz_9sK4nbzUfXRkSCodVHwbs7bC6OfcEGDmdPdWyV6p7IIyjy1iaPBgO2pLQMqLGJDyzSzHFMZKm7VwCBjuPq_6DSMpOkNyW3S7giBvo723al3P',mdrd: 'uvYvb4TtOCpw3VNlCagHR4n13Emy4GaGSuomH2JSxoM-1752176239-1.2.1.1-HQ12DLGp0IBHIKST_73JvU9VjGK2q7iQV_pbDkKPvvrxxwk5TMll._PDu9DfyTODuW_iyimSWVQ9u7E9y9sg3GbrWkwq1ZOOVGKeNR0lqoQTsgKxwDdbLU8xAh5wYKSI0RxeZJ5HMfS.MyKuGrny7cWuwvpNWH6.oM4b7qiXz6Nbb08O4XA4cH0IBJv7i6bSvjLHGlMGJp.XMrKJCmX9NcZBJ2nIh9cE.koqUsOWyKdwFvmgkP9LmkbXKa7xp0ZVCQ2uFAB6UcWB6jX1BWt78CfPYESu6wc1DdcdUNTljTg8.rYDxi6VAYW8JBMW6z6dmHyOS3XGG332Qm3nVYbv_k9l5s6QIrzfKiBLhdrQSDsEn3DvxzCE9NC8rogx_ZTr2cvuah3Prvenqst845Urw8PUclmaVFkmXxV53JU2jTt5UuN3KviihWtuo4iGYa7kCAEyrJsaNGNQd_MZDPB1Okroia_DvuAdX1hPmHz4_KIXnPz6c2bvT5EuuiY98J3ZQ04d9wa7RVj2uvwiIY72ewlNr6_bkbyvQW0ecM80x5AJTOOoAs..WcWEcN03CmwogVw0HZg5V.n1DtogWNCh8isnrwsXgaJgcnEpbk.Lu.3vuJyWCsyUMXYBjxkr3FdQyDI2JPSctm.HhzMxlR5kHCcuYt.dfQfuJc.3kFobmSJEK7z7po0F2xw9_c7_hmn0MZAyxVClXn2SRpjej0IV4B4sfn73pBggcood2lUJDx5qS3um9UYI8bxQtCPQL0nbvmsgfiWnI5AaE4BH_c53AUO0k.p_dehQq_wikZfAV0lPvS2E9pHfZfeArPeox4Daa7YT0leIV5iUWtLh8R3uTeJrYih6Ml6iBLzEhHst.hi3.G.DC1GF5ZhmcqEHvtmHDqBNdWDLW6YHKAOa908xDDtOG8aGDaY5POey.DVSUpaYvcMix71SJhwrD2Jf6zS_k.0tTPAW0kL.eg5iYr_PX.ef7Ib3jWV2Z.VdDHeF_p8nPzN6tZax5DB17dvN1tbuHJmpdbRqD8TDIH9XQj.GZLAus83lTSd9TkNHIHNCY0ElmO0Gy29.MLKEFN.L4RMilJXdHVS7PbSREzAQ8ulEkMFx2LEKozCmYgAspQkIDroR7JvrEGCNL0H9Y0qD3jR20NQ2m35Luhjflsf6mXeLs15DbB4MgUHHRHuJGBA5WMADHA9TBjSohTz1nfTesw8MbNqulce5RDtKOnW14PAqfWOb9HfnfgWJtm1JLzADyd2iDfJQ3kuUtXdt4RM5hZxmhZy_Y73Im5fTfS.OLdcZ8jCQ5nhuEy57sfTn7Mteai.nBUU.UHPQ_QcP8AvZvXgZY2ZQjvlmDUjMPjnMvvOKzVlnTLSkQc1I.RIiqERvSGxOXiAYqBaDLslVJe1EaUY40PshwA6D8UvPLePZNOZRiU_dt8xz.96JBo4tWzt06FKHmoSWxwlMoV906Z4qLObvoyfTEYqi63ODOLGF2HpaIpkRJj9S1fJh7wLu5n.uqKpjTteRQK5.gkhgKHpvHVuNW269iew0AeWSQqW0CAd7_.Cl4UVV9T65PkJ.0pZgkNVfIfqsZASZ7oA3QyW50FQnSeAfN7HH6boCgCl6uiCFCRKcQqSHxFxxV8BIzPKZT0QDdJjzutJHUZecBkTBUnDh1IWsiYMQAhaH3JUoCcrOhCSZ2IE0v_4LqAqQq5_51S_OB2cZDc6uW1Vvx_q12aHhQznZ3Eb8OH0WZQguH5YdZutRLRZVp2ggb1A.21GvxuL7Y4eCUUR38K_OoqxnvVnbH.eV3JXdO7rZ2Oqf9ftTpZVRMY9q_ak5Be9LCsHdR5tdloLRTe1.SoZMUqpJdB8gONrpF3BK7GhJdBGymIU.s0hWK0yg5uIvkt6ZJbsOhfXZ1fHzakzhHROF8L_HB1uqOIh2Z_Gcl0LTcl8Wtm_XqPsBJEcpZcGbt7l2rutZkSdjRHzAdzR425J4MDYxuat4YNcWVF4pzj0jlxtXIKMNGOFLcs6xTOZmcy64dNhnOEgh8tVexh_p8DrsnSbZ7f_0CLUWIBu6Uduk3QwCZJqZ8c.XHjKJuNH6jpw9Tqf6RRYSc0Ua12bkYGTifAelkNtLM3j2HTmYnozb1E96jV_gb7gszaZIY7QcfxXKpjv1nzTI_ukAZtF2okHv3i6Wj3kINeaeeOA30Zk.37hhT6tqqRz2xMdKVR57RzEFeKbVCDGfWbyqii9PJ5nCs1M7x3ZnrlVEIBDBpqEE205GUaTIjYC84NebPukLWFyNYvHscDy_uLXv38MtK2k6gnd9gORaVVOX_L2g2Og9uiYk2j4uW9pBRJj2AdQ9g5Ps5lXjDl5tWte4juxCs59IWit8jilMiNI7xcjCZmCsqHwWJoX_w6RpumNy7bV4oGQ9UGg2OLb.Uddyd5ZIxG2C.EomaK1BFup2dVT0teJqe6M6RJjHXdDgzDuLg3K.RIL4sva.DGedbAXKT5bEiyQsNjXYXA8iW0DHzWkTbMFqlfmtnSY9ufmvXkO0oLlkWRR85RMd9Fg.jjmKay86VZ8LW_JRVQPP8DmBhvExgDpVM0jo23jP2sG7RO785Hyx6Cg3C1X7t6suVt07OqvcR4EEHBUQanF2',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d283d91671ab21';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null,"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/comparison.tex?__cf_chl_rt_tk=BzFMK.5jMzxzTW3f2DBiBJk9.uUeUKelAENpMC4.4S4-1752176239-1.0.1.1-HwXJHTxzYkIF8JfLUMIc3eaGX8H5W8h_UyNyNg7upSc"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>